Without a special grinding machine, how do repairmen do it?