We'll be getting our 16x24 oval Doughboy in the next month or so (AG installed IG). About 10k gallons. Dealer specified Power Pak III 1 HP pump. This doesn't seem like a variable speed pump? Would you recommend a variable speed? What models? Quote says $548 for the pump.