Typical reply, not answering your question but suggesting a different answer.

Drill a well?

https://youtu.be/te3RlQmnw4g

This drills through rock, to a degree.  But it's a different system and maybe cost effective.  If not for you maybe somebody else.