REPAIRING TOOLS