When my pool builder installed the gunite (concrete) in my in ground swimming pool a heavy rain storm messed up a lot of the gunite (immediately following the installation), causing the workers to put in around 5 extra hours of cleanup/repair work that night. About 6 big holes were left. Recently the builder patched the holes but several tiny leaks remain, although they've patched them several times. Should this be a concern??? It seems like it to me but I don't know. They haven't installed the marcite/plaster yet and I want to find out the answer to this question before they proceed. PS - I have a call in to the construction manager who has yet to call me back... Thank you!