Here you can find link to the rock drilling robots manufacturers YouTube-channel:

https://www.youtube.com/channel/UCOWxtCGy2qtxYsdb8eLG0SQ