Nice find. With a little work it would be a quite serviceable
Mining in the old days required as many, or often more, lumberjacks, lumbermen and carpenters than actual miners. Woodworking tools are more common at old mine sites than actual mining tools.
Even today support people outnumber miners at the large mines. Miners are well paid professionals. Woodworkers, mechanics. metal workers and dray (trucking) operators are well paid professionals to this day too. Just not as well paid.
Heavy Pans