That was an entertaining and educating read. I had not realized just how relatively recent rock tunneling advancements were.

Also the idea of adding grout between the rough bored tunnel and the tunnel lining - what a great way to create a full physical connection given the probable irregularities of the tunnel.