A special mill that has a heavy tubular extension below it called a pilot or stinger. The pilot, smaller in diameter than the mill, is designed to go inside drill pipe or tubing that is lost in the hole. It guides the mill to the top of the pipe and centres it, thus preventing the mill from by-passing the pipe. Also called a piloted mill.