Normally buy diesel at interstate truck stops for my DP motorhome. However, around town I see "premium diesel" for sale. Is this #2 by another name!