So shotcrete was done today. Guys gave me no instructions on watering but I think I can figure that out. Also said the rain during installation wasn’t an issue but I noticed some pooling in the deep end. Is this cause for concern? How does this look to the professionals on here?