I have a 12500 Gallon Oval Semi-Inground Pool with a 6' deep end. I have been considering a robotic cleaner and have seen them advertised for both inground and aboveground pools. I have not been able to find the difference between the cleaners under these two categories other than the fact the...