Good news, that’s a tiny drop in the bucket compared to mining operations. Rocket payloads are measured in the metric tons; copper mining is measured in tens of millions of metric tons per year. It’s not even a rounding error, you’d have to launch hundreds of solid copper rockets a day to even make a dent.