По идее, можно было бы абузить до бесконечности, завести техники современной, насколько мне известно, модерновые шахтёры это операторы всяких машин добывающих, копающих и т.д. То есть машут киркой только в каких-то запущенных случаев, где никак по другому. Но, видимо, не выгодно компаниям это. Так же неизвестно, есть ли за слоем обычных камней пещеры что-то ещё или нет. Возможно, геодезические методы нашего мира не бьют магию