I thought he was offering an explanation of why Marianne lost 10-12 mpg on her recent trip.

Plus if running your tires under inflated doesn't reduce gas mileage that much, according to Consumer Reports, then I don't see how over inflating them would increase it that much either.