Thanks . . . yeah, I think I'll have 'em give it the once over.

I forgot to mention, I noticed when my friend was filling up the other day that the 3 grades of unleaded gasoline here have 93, 95 and 98 octane. I remember seeing a discussion about premium versus regular--guess I don't have to worry about that!