Right, that makes sense. Does anyone have any preference as to which tools should be made first? Considering we have three people mining right now, I'd say that pickaxes are not the highest priorty -- If one of the three breaks, we can always craft a replacement then. Hammers and axes could be useful; I don't think we have all too many of those, and they can double as weapons in case of an emergency. Spear heads are useful too, but again probably not of the highest priority. And bricks to line the tunnel walls can probably wait until after we have all the tools we need, right?
So, in short:
1: hammers and axes
2: Spear heads (just a few)
3: Pickaxes (can be raised in priority if another pick breaks)
4: Bricks for building and fortification
Any comments? Anything I forgot?