Update, as promised.
Just did a a trip from Phoenix, AZ to home in Southern California.
Ran a gps log for corrected mileage, and running at an average of 70 mph (between 65 and 75, top speed 84), got 11.91 mpg. Some elevation changes, long hills, etc. Next time I do a trip I'll run at minimum...