I'm having a pool built at my new house and my pool builder called saying the gunite is complete so i went to go check it out after work same day but i was shocked to see a big chunk of it fell off in the deep end of the pool. So i panicked and called the pool builder. He said not to worry, this happens and they will go back tomorrow and jack hammer it and pour it back. Is my pool builder right in saying this is no problem at all and i should not worry, it'll be perfect again after they fix it. Any advice will be very much appreciated.