Thanks for the tip. It turned out just to be the float. Replaced it for a couple of dollars and good as new. But now it seems my booster pump may have burned up. Tripped the breaker once, reset it, and now the pump just hums. Doesn't sound good. Maybe this is the time to switch to a robotic.