Sticking float magnet I would think? Changing the mushroom float is obvious when you look at it from underneath by the way. 😉 That float is an overfill device and switches the drain pump on whereas the magnet float is the thing that controls water levels, that and the module of course. 🙂