I have seen other estimates for about ~$1k in installation, but I also thought that ~$3,200 was a little too high. When I questioned the price, I got the following response "...inclusive of the new grommets for the new pool cover that are drilled into the stone and the winterization of the...