There are two sets of 3-10 mm wood drills in the workshop. These are meant for wood ONLY -- and are very useful when drilling in tropical/hard woords.
Do not use them for anything else. The very small points will break off.
These drills are for wood only
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 - the Hartwijk ones are better quality) and give the receipt to one of the Trustees. Anything under 15 euro's for 6-18 of them is OK.