In article YYAee.59076$c24.54870@attbi_s72,
John Ousterhout wrote:

5 gallons of "fuel" is 20 pints.

Remind me not to let you do the fuel calculations if I'm in the plane...