jons999
I am giving you a star. While I, too, as a typically curious engineer as to how things work, had always wondered what was the mechanism that shut off (or not) the pump nozzle, I found it curious that among such a group of such brains, it took this long to get to the bottom of this mystery.
Thanks for enhancing the knowledge base of this group.
rmw