We have a 50K IG pool with a Hayward DE-6000 filter. We think the pump is orginal equipment(we've only been in the house 2 yrs). We want to replace the pump with a more efficient model. What would you suggest? I don't know if it matters, but we use a commercial Dolphin for the pool cleaner. Thanks!