Hello concrete experts! We shot gunite 2 days ago and the PB decided to leave a 3’x6’ hole around the deep end channel drain because it had not been set parallel to the wall. They wanted to come out later and straighten the plumbing. I think they are planning to use some kind of Quikrete type product to finish it. I am super concerned about this being a structural deficiency. There’s rebar showing, so whatever material they use will at least be held somewhat in place. But if they don’t use gunite, how do we avoid a cold joint issue? What should I be asking for? Obviously they are not going to want to bring a full gunite truck and crew just to fill a hole this size…. thanks for your help