New pool pebble sheen question


New member
May 20, 2019
Hi everyone, I'd like to start by saying how helpful this site has been for a first time pool owner like me. I have learned so much from you all. Our pebble sheen pool finish was completed at the end of March. This past weekend I noticed a notch on the edge of our tanning ledge (see I could get) It is rather small (no bigger than a nickel) and I am guessing it is from the original installation. Should I ask builder to fix or is this too tiny to be concerned? My fear is that it grows into a major problem over time. Thanks for the advice!