They can drill 5 tons per hole so would need 20 holes. Not sure if this is feasible or has any effect on the mining later on. They did apply for a permit to remove up to 100 tons, I think it was last year so don't think they need any more permits right now to do this.

G.