Yes, I build pools in the Austin area and thats what I say. I just completed one further out in the Hill Country and charged $30k. It was a big, deep pool though and solid rock. Rock demolition is is hard on equipment and therefor expensive. He's not trying to get to you, he just knows what...