We're building a gunite, in-ground pool and planning to go with a Primera Stone plaster finish. We included trim tile (step and bench edges) in our plans, but now we're being told that if we do that, there is no way to repair it down the road without re-plastering that area of the pool. Does...