As I was looking at Colorado mining I found this: AIMS is a huge company located in Boulder CO. They repair dams, etc. Taken from:
https://americanmineservices.com/mining-in-colorado-today/
Civil Mining- Not all mining is done strictly to retrieve valuable resources from the Earth. A lot of the projects we take on here at AMS are civil in nature. What is civil mining? Well, in a nutshell, civil mining is any facet of mining applied to the building of an infrastructural complex.
In other words, civil mining is all about working with public and private entities to develop structures, such as roads, bridges, tunnels, and sewer systems… any structures that will benefit a community at large.
RE: Mining in CO - Used to be Molybdenum for many years and now Colorado’s main mining to be a Red and other Rhodochrosite. I don’t know where the red is mined. Take from Geology.com:
Colorado Rhodochrosite: Rhodochrosite is the official state mineral of Colorado. Sometimes, nice transparent specimens can be found that are suitable for cutting faceted stones. This faceted cushion was cut from material obtained from the famous Sweet Home Mine near Alma,
There is a large gold mining operation out of Cripple Creek and Victor on pikes peak. Minerals are another consideration. The Lord has had me make decrees in this area, and after Hartsel I released the I Am frequency in that area. Pikes Peak is also a big water shed for the springs. Going up there from the town of Divide off of hwy 24 there is also a Silver mine.