12.149 gallons of gasoline (10% ethanol, as always) after going 424.3
miles. This made for a fuel economy of 34.92 miles per gallon. Had I
not done the squeeze after the first shutoff click, I'd have been over
35 mpg. Still, it's lower than average.
However, due to a weeklong vacation, it made it 13 days between fillups.