We have a 20,000 gallon inground pool with a vinyl liner, and we're wondering what kind of pool cleaner folks would recommend.