Comment by burnout1540

There are only about 45,000 coal miners in the entire US. That's a tiny number.