I am also interested in this area. It is really hard to find miners that make videos on their work. I suspect the foremen probably discourage it. This guy made some videos. [1] I want to get into hobby tunneling. [2]

[1] - https://www.youtube.com/c/JoryDion/videos

[2] - https://en.wikipedia.org/wiki/Hobby_tunneling