No, there is no reason to assume that the shotcrete would contain asbestos. Shotcrete linings typically contain sand and cement. Asbestos was commonly used for pipe insulation and high-temperature industrial uses and not for shotcrete.