society > occupation and work > worker > workers according to type of work > manual or industrial worker > miner > [noun] > one who washes or dresses ore
vanner1671
buddler1747
cobber1778
jigger1778
jigman1849
puddler1855
buddle-boy1860
spaller1884
tozer1885
stamps-man1891
gravitater1894
1860 S. SmilesSelf-help (new ed.) iii. 62 Earning three-halfpence a day as a buddleboy at a tin mine.