Three workers operate jackhammers.