Thanks for posting all that, Xist! You earned that t-shirt.
If he "used to get 40 MPG", I'd like to know more about how fast he typically drives, and the highway/city mix.
I suspect it'd get waaay higher than 60 MPG driven in my typical environment (ie. mostly on the scenic route/back roads with 50 mph / 80 kph limits).