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 the above ground cleaners appear to be less expensive and lighter duty. Im assuming that I would probably purchase something that is geared for an inground pool since I have a deep end. I just want to make sure my assumption is correct. Also, does it make sense to get something that also cleans the pool walls? I know these typically cost a bit more, but if it adds value I my opt to buy one with this feature.