We've had the polaris 380 cleaner for a very long time. In this house 20 yrs. Replaced parts, may have upgraded along the way. Our booster pump died so the question is, do we buy a new pump or go for the 9300 sport model. A friend told me she loves hers - didn't have to vacuum the pool once this season. Was wondering what the thoughts are out there. My pool is 40 X 20 vinyl liner.