Ann: Flow Rates Increase by More Than 140% in Drilling at Paradox, page-123

And Google tells me that Australian miners get paid the highest in the world. Based on this, no doubt to dig a hole here costs way way higher than in the USA.

https://www.mining.com/u-s-versus-australian-mine-manager-salaries/#:~:text=As%20it%20is%20always%20more,made%20%24182K%20last%20year.

As it is always more fun to look at the top, let us summarize this by concluding that mine managers in Australia are earning about $250K (Australian dollars). Let us compare this to managers in U.S. coal, metal, and industrial mineral mines.

The average U.S. coal mine general manager made $182K last year. The average U.S. coal mine manager made $140K last year. Almost $100K less than in Australia, give or take fluctuating exchange rates. Astounding!