Very interesting ... may be worth checking into. But I wonder if it would be cheaper to build one DIY. I'm looking at a couple of float valves and plumbing that should be considerably less.
Its definitely cheaper to build one on your own.
Here's my narrative about installing it, adding a second float switch, and a picture of the finished product: