Shop tools : care and repair - Hunt, De Witt