U.S. Cutting Tool Consumption up 7.2 Percent in December