Pump guy at local truckstop tells me they have switched over, but I haven't noticed much difference. Yeah, I think the smell is toned down a bit, but otherwise, I don't know. Hard to tell, because I just had a new (used) turbo put on, which had a big positive effect on power.

I've been adding a little Power Service since he told me that, just to put my mind at ease with regard to lubricity. I know it should be fine in theory, but I'll let others be the guinea pigs.