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 more of an aggregate feel. I'm not a fan of Pebble Sheen as it turns out. Thanks!