The tool used for cutting external pipe...