Our pool was completed in 2022. When we opened it this year, we noticed a large hole in the plaster. The pool builder told us this typical and said the material would be covered, but we are responsible for labor and water. The hole is mid pool and has rust showing through it. Is this normal? Has...