I have 3 year old Dolphin Proteus DX4. It began operating erratically recently. Went thru all the recommended troubleshooting with the end result of opening the motor box and finding significant moisture. I dried it out, cleaned the seal and closed it up. It is now dead and appears to need a replacement motor box at a cost of $450. Should I spend the $450 to repair or buy a new robot?