There is one set spade wood drills in the workshop. These are meant for wood ONLY.
Besides this box - there is block that contains a random collection near the pillar drill.
Maintenance / Replacing
These tools will wear out - and the space will replace them.
Ask on the mailing lists to get them ordered --or-- buy a set from [Hartwijk] or the Gamma (about the same price & quality) and give the receipt to one of the Trustees. Anything under 20 euro's for a box of them is OK.