So, I love the 3155, but the last few days, it has sporadically not triggered the pump to top off the tank. The sensor is working because it shows water low, but the pump isn’t activated. If I unplug it and plug it back in, it works fine. Any easy troubleshooting, or should I go for a new pump?