I like that idea viking. According to a few old car books of my grandfathers, gas prices were around 11 cents a gallon for "super-Premium" fuel. What exactly is super-premium?