DANG, I'd never fill my pool with one of those... just finished putting about 10,000 gallons in it since yesterday, at 6pm, after removing the cover. Flow at a rate to turn on pump.. keep some pressure on it and never shut off. Yard hydrants are great.
As for the run, no run issue, I'm betting a file and some contact cleaner can fix it PDQ. Many of those switches.. the contacts are also replaceable vs doing any plumbing or wiring work.