M 2,
Thanks for posting.
It kind of took me back to the mid 1970" when I worked as a hard rock miner in Colorado..
Technology and technique had changed quite a bit from your video, but it was still all about getting the rock (ore) out and to the mill.
My best,
Blair