I'm about to sign a contract on a new pool which includes a Polaris TR35P with booster pump. The pool is ~750SF which will include a ~110SF sunshelf and 2 love seats. It will be ~3ft to ~6.5ft deep. Is now the time to get a robot?? I'm hoping I can get a ~$750-$800 credit to not get the included cleaner/pump, and would apply that to a robot. Is there any particular unit anyone would recommend for a pool like described? Thanks!