Looking to buy a decent robotic pool cleaner for my pool. Last year I did it manually, and while effective it took a lot of time. I don't even know where to begin looking for one and what to look for in such a cleaner. Any recommendations on models, where to buy and what to look for etc?