I went to a tool show in NJ today and bought a Tormek T4 today. I do a lt of leatherworking and my punches, bevelers and knifes are always in need of sharpening. Does any one here have any experience sharpening these type of tools? Any help would be greatly appreciated.