I've been researching cleaners and didn't realize there are so many. Wow, how confusing. I'm debating between the Polaris 9300 and the Dolphin advantage. Any advice on either of these two brands, would be appreciated.