Hi, this is my first post and we are in the process of getting bids to renovate our pool - coping, tile, finish. My first question is about the dimensions of the coping. Our current brick coping is 9 inch, but the travertine coping comes in 12 inch sizes. The first bid said they would just...