Good point.

Initally, I was thinking the sender too, but I have been to a few gas stations where the pump would cut off a few gallons early and even some that would cut off every couple gallons mostly dependant on the nozzle type.