Just spoke with PB. He intends to do what @d_red1 said. That is, chip out behind and reposition the rebar and then patch. He says what he thinks happened is that the gunite guys sprayed too much behind the rebar, which pushed it out, which, of course, they didn't notice until after they went to...