The tool sharpening workshop