Repair of tools