We are in the Shotcrete stage of our new pool build. Our pool is being done by a pool builder as this is my first pool. I have been reading some older threads that are no longer active about this topic, and it appears that this is not such a great idea. I have asked my PB if the finish can be...