The pump which was replaced approximately 3 years ago died. It was for our older Polaris 380 (many parts have been replaced over time). We can buy a new booster pump for around $280 or invest in a robotic cleaner. I was leaning towards a Dolphin Nautilus Plus, and a caddy. I am open to suggestions for robotic cleaners. Not sure which way to go. What would you do - just get the booster pump or invest in robotic cleaner?