Sounds a little high to me...I live in the Houston area and we are currently building a pool with the same dimensions but a little less decking for $45K. We added the Aqualink and other things...I know that this area is cheaper than most though.