Met a guy yesterday at our local Farmers Market who has a '54 3100. One of his many questions to me was, what prevents the gas station's fuel pump from shutting off when it reaches full. Since I've haven't had such a problem, that I remember

,,, I told him I would ask the experts. Any idea?