Pilot mill:

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 centers it, thus preventing the mill from bypassing the pipe.

Also called a piloted mill.