so the total for all 3 things was around $1,750. I said due to budget issues I would probably have to do it in stages. fix main pump now, then worry about Polaris down the road since I really don't use it much in the winter anyway. but I said if he could do all 3 for $1,500, I'd consider...