I have not used that brand before but I'm currently using a diy
float switch. Float switch usually might stick due to salt creep. Sometimes a snail can get on the float switch and cause the pump to stay on and dump all your top-off water into your tank.
I'm curretly look into the Tunze Osmolater Universal. It uses a infra-red sensor to detect the water level and has two failovers. The 1st failover is a floatswith, the 2nd failover is that it will only pump water for 10min max. From what I heard the water pumps out really slow and the rate the water comes out is adjustable. It's kind of pricey but the ease of mind is nice. This is what I'm asking for my Christmas present, hope I get it.