I would have to recommend the Dolphin (or other robotic). You might consider the extra $$ for a remote control (The Dolphin Dynamic) for quick spot cleaning.

Budget = $800 - $1100