So while they were putting the coping on our spa, they were supposed to notch out for the spa air button line. While doing this they were notching gunite and they cut the PVC. So the Plummer came out today and they had to chisel the outside of the spa from top to bottom (2ft section) PB says that they can just regunite the spot. Is the gunite going to bond to the new gunite?