Sorry, I perhaps didn't indicate clearly enough that it was a wild guess. I know raw material extraction is a major part of the economy in the corner of the state where my family lives, but I have no idea of actual numbers.

I was also not trying to suggest that it's "export focused" - that would imply that that's a dominant factor in the economy, which is not what I intended to say. I chose the word "large", not to imply that it's a majority, but to imply there's enough money tied to it to make it politically interesting to the elected officials who are driving these sorts of decisions. See, for example, how coal played into the 2016 US elections, despite the US economy not being anything close to "coal focused".

I agree that there is a significant resource extraction sector, though primarily based around energy as opposed to raw materials. I have my doubts that it’s significant enough that the state could materially benefit from a weakened USD.

It would be nice to find a percentage-based chart which breaks down economic sectors for the state. It exists somewhere, no doubt, but I am unable to find it this morning.

I do agree with your first point: crypto-for-taxes is primarily a headline generating gimmick. One that sells Colorado as a state with tech-savvy leadership.