We ordered our pool from Royal last week. Originally I was planning to get the Polaris 280, but now I'm seeing all this talk about Robotic cleaners. I honestly don't know the difference (I've never owned a pool). If I'm paying $750 for the Polaris 280, and if there is something out there that...