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 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.
In addition to the huge fleet of earthmovers, the auction also features a large selection of underground mining equipment, including shuttle cars, underground load centers, scoop trams, rock dusters and more.