We are getting ready to remodel our existing pool built in 1988. We are in the DFW area. The original plaster is worn, the waterline mosaic tiles are popping off, the mastic failed years before we bought the house, and the brick coping has cracks in the grout. We are looking at travertine...