Shop cutting tools ( bits, blades, chisels, lathe turning tools, etc.) are to be sharpened only by shop staff members. If a tool needs attention, please notify the Shop Supervisor on duty. Shop users are welcome to use shop facilities to sharpen personal tools.