If you tend to fill your car’s gas tank until it’s full, rather than paying for a specific amount of gas, you’re familiar with the thud that the pump makes when it shuts off. Once you hear that, you ...