rock duster

rock duster

[′räk ‚dəs·tər]
(mining engineering)
A machine that distributes rock dust over the interior surfaces of a coal mine by means of air to prevent coal dust explosions. Also known as rock dust distributor.
References in periodicals archive ?
based manufacturer of underground mining equipment, is now offering an Onboard Rock Duster Bucket for its 35C Scoop series and all additional makes and models of underground scoops.
Fairchild International is now offering an On Board Rock Duster Bucket for its 35C Scoop Series and all additional makes and models of underground scoops.
based maker of portable rock dusters and belt clamps.
Vice president of energy products for Irwin Mine and Tunneling Supply, Pat Rengers, said the company would start producing the rock dusters in the coming week at the Blairsville plant.
It is transferred straight through to the mine via bore holes down into 20-ton diesel rock dusters.
I have 20-ton bulk rock dusters that can put down its load in about 30 minutes and return for another load.