Plumber didn't realize the Baja Shelf return had a step and cut the pipe too short. This wasn't noticed until well into the Shotcrete process. The area of the step containing the return had to be chipped out and the pipe extended. The plumber patched the area with Spec Mix and a bonding agent (concrete glue). What's the longevity of this type of patch? I was under the impression that only hydraulic cement was to be used in shell patching.