Then we're going to need more coal. We currently have about 9.5K of coal and we need one coal per industrial diamond.

Do we have digital miners set up yet?