I’m researching robotic cleaners and have found Dolphin and Polaris to be the most popular. But I’m confused by all the mixed comments on both. My pool is more of a cocktail pool, 10,000 gallons, in the ground, gunite, tile around the top, but No rocks, waterfalls or a hot tub…just a simple pool. I want the robot to clean the floor, walls, and water line and not be super heavy. Have eliminated most of the trees but still get some debris in the pool come fall time. Jacuzzi has also been recommended to me, made by Polaris. The rack is nice but not necessary. I’d appreciate any advice; thank you.