Asteroid Miners: Historically, yes.  But the age of the hard-working, rugged asteroid miners, as opposed to asteroid settlers, was relatively brief – in the modern era, asteroid mining is the province of giant almost-completely-automated smelterships.  Om nom nom.