If you don't mind my asking, how much did the sandblast and replaster cost you? Also, how big is your pool? Thanks.