Hi everyone. I am in a process of buying a robotic pool cleaner and I narrowed it down to Dolphin M4. I can get it for a decent price $1000. Just wondering if anyone had any experiences with this one. Any advise greatly aprexiated.