Против.
Почему? Потому что у шахтера итак скорость копания выше, чем у других профессий. Берите пачку гравия расставляйте по ровной поверхности и копайте. Таким образом шахтер наберет кремния уже несколько больше чем, например, медик.