Hello! We are looking for a smooth finish in our new pool. Our PB here in Austin is quoting us over 5k for Pebble Fina and 8-9k for Hydrazzo. I was curious about opinions on these two finishes? Also is this pricing way out of line? Though I'm not sure if we have much choice unless we want...