Hello everybody. We are considering a pool cleaner. The two models we are considering are the Robo Kleen and the Polaris 65. We have a 15' x 26' x 52" AGP. Anyone out there using either one? Looking for what people think if they do have one or the other and the pros and cons of each unit. Thanks in advance. Later, Calvin.