Sharpening of cutting tools and repair of cutting tools: circular saws, knives, milling cutters, drills - diamond and carbide tool sharpening