Real Miners!

Some miners doing repair work on a tunnel.  It was good seeing some actual work being done.