We remember the Springhill mine as a very deep one where, sadly, they did not use ROVs.
What if, at intervals down the mine shaft, there were pressure gates? (For a non-vertical shaft, these might be revolving doors.) Between each two neighbouring gates, the mine is pressurized with gas to the...