One some of the razor repair YouTube videos, they insert a tool that surrounds the pin while they file. What is it called and where can I find one?

Thanks in advance for your help