Hi everyone, we are in the process of getting bids to remodel our 1990s pool (coping, tile, finish). It seems that travertine coping from NPI and NPT and everywhere else is always 12xX but our current brick coping is 9 inches. One builder said he would just cut our aggregate deck all the way around to accommodate the 12 inches, but our pool is excessively geometric and that just would not look right. I know plenty of people have remodeled 9 inch coping with travertine, so what is the standard? Can I expect to find a builder to source 12 inch travertine coping and cut EVERY single piece to 9 inches, or is that entirely unrealistic? Thanks!