482 miners is a small army.
I bet you a few of them were some of those at the 9/12 march on DC.
It looks like this will be in everyone’s future.