So my pump stopped working and I'm looking at buying a new one. We don't want to spend the big bucks for the super fancy ones at this time. I went into the local pool shop and they are suggesting a .5hp pump. My current pump is 1.5hp and the pool is roughly 20,000 gallons. I'm concerned that...