OK I've had two companies come out and take a look. They confirm it is either rebar or rebar ties that are rusting.
One recommends cutting into gunite, epoxy coating the rebar, plaster.
The other recommends cutting into gunite, cut out rebar, fill with hydrolic cement, plaster.
Both seem...