My $0.02 would be to spend a little more money and get an Aquabot.
Have had 4 during the past 27 year pool ownership and have never used any manual vacuum, suction, etc. Picks up acorns, leaves, sticks, etc. You could probably get a refurbished for $400 - $600. The Dolphin is more expensive...