The coal mining industry employs about 38,000 people. Dunkin Donuts alone employs seven times as many people as the whole coal mining industry. There just aren't that many coal miners anymore. And everyone currently involved with it joined up knowing full well the days of coal were numbered.