Until it is clear what we can sell the 140,000 tons we have already dug up (and is essentially free carried), I doubt if DC can calculate whether it is profitable to dig up any more. We would still have to dig, crush and transport it. At $50 USD per ton, that might be a marginal exercise. At $100 USD per ton, it might be profitable.
Looks like we will have to wait and see.........