I'm in the process of choosing a pool company to install a pool in Katy TX. This will be my second pool and one of the proposals includes gunite sealer. The sealer would be applied over the gunite which will later be covered with pebbletec. Does anyone have a perspective on whether gunite sealer is usefull? I've never heard of using it under the plaster.