I have been searching for a robotic pool cleaner and I was all set on a Dolphin E10 until a friend of mine recommended the Hayward Tigershark cleaner. What are people's thoughts about using the Tigershark in an above ground or should I just stick with the Dolphin?