I have an in-ground, 20,000 gallon pool. Looking to get my husband an automatic cleaner for Father's Day. I need help!!! Dolphin Premier, Active 30, or Oasis ZS?? Or, should I consider another kind? Wanted to stay in the 700-800 dollar range but not sure if the less expensive ones still...