Welcome to our forum.
They told me where to find the switch, and sure enough, just tapping the switch with my fingers was enough to get thing flowing again. Saved having to wait for a repair tech. So I learned something new today.Brewman
As an engineer and all-around advanced (IMHO) DIYer, I'd much rather fix something myself if possible and hope the dealer/manufacturer would recognize that the owner isn't a moron