You may be on the right track, Dan.
Your post made me recall that there are pressure switches that, in addition to the "turn-on" pressure (say 30psi) and "turn-off" pressure (say 50psi) setting, have a "no pressure safety" setting. When the pressure drops to (near) zero, it shuts off and will not turn on until MANUALLY reset. This is what I will install if I get idiot boarders leaving hoses running again (I have one laying around that my brother-in-law used to pay back a late night pressure switch loan).
It might be useful in GUNNER's situtation.