be careful, page-3

Estimates of historical production indicate that approximately 300,000 tonnes of copper were mined from the open pit.
Copper price around $8000 a tonne so even if they have 100000 tonnes is 800 million so the money spent is negligible.

4000 tonnes is purchase price.