...I think those are Imperial gallons, though (aka weird British gallons). you're right, because i didn't realize the US needed to make its own slightly smaller gallon