I'm debating on cleaners and reading through many of these threads. Wow - information overload! I haven't read much about Hayward SharkVac or Tiger Shark. Does anyone have any feedback on either of those cleaners? I was leaning heavily toward Dolphin, but am concerned about the motors going out and expensive cost of replacement. The Aquabots seem to be fairly user serviceable, so that's attractive to me as well. Thanks in advance!