I'm trying to narrow down my choice, but it's really difficult. I've never had one of these in the five years I've had a pool, but I think it's time. I'm leaning toward a Dolphin Z5 at this time, but I have some questions. I can get the z5 right now for $1124.99 including shipping from epic...