I'm no fan of the backroom influence held by big mining (and esp multinational interests).
However, a quick websearch offers up
Australian mining revenue.
In the 2022-23 financial year, Australia's mining industry generated a record $455 billion in export revenue. (Aside: just imagine the profits if we turned it into steel).
Big dollars indeed. But look at the ratios.
Australian mining sector contributes more than half of the country's corporate tax revenue, with the industry paying approximately $65 billion in company tax and royalties for the fiscal year 2023-24. This makes mining the largest taxpayer in Australia,
At risk of oversimplifying, they collectively paid about 14% tax.
I wish I had that tax rate on my pay packets!