I have a new inground, gunite pool. The pool builder thought that there was a leak at the skimmer, so he had his guys repair it with some pool putty. They accidentally dropped a few small pieces of putty into the pool, and it cured and hardened on the plaster. Pool builder said that it wasn't a problem and he had them pop it off. But, it appears to have popped off a small amount of plaster in the two spots where the putty was removed. Should I be worried about this becoming a bigger issue in the future? Thanks.