Yeah, it probably was Shotcrete.

We haven't really seen a preference here, have we? And I think we've seen that problems ARE, as you indicated, more likely to be due to bad application rather than the material used.