A tool is used for making repairs.