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 pics...best 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!