We are nearing the end of our first season with our new pool (14,500 gallon, 30' X 18' rectangle, 6' deep end, vinyl), and something we are considering for the off season is buying a robot. We have neither a vacuum port nor booster pump, so a robot seems like the best choice. We currently...