Comment by johnz

Good to know. I thought about using both a float switch and an ultrasonic distance sensor.