Dolphin Explorer E20 Robotic Pool Cleaner, Maytronics Manufacturer, E20