Absolutely agreed with all of this, and well done on the analysis--you backed out my back-of-the-envelope numbers.

Gas has been ~$2 where I live for a very long time, and you're right, I'm closer to 5 than 10k miles, and much of it is city.

I don't travel much though. :-)