Also, hasn't digging become much cheaper in recent years with new technologies from the oil industry? I'm sure some of that efficiency gain can be used for thos

Also, hasn't digging become much cheaper in recent years with new technologies from the oil industry? I'm sure some of that efficiency gain can be used for those shafts (they're obviously bigger than a bore hole for oil).