“Bizarrely”. Great feature and it doesn’t cause fires. They don’t keep pumping endlessly, you know–they stop automatically. And they are very much not locks. They have tiny ridges which can hold the pump handle in place but which easily come undone.

Are you talking about pumps from the 90s?