Key punch. These are used for making original keys, as opposed to a key duplicator.
<video controls autoplay loop>
<source src="https://s3-us-west-1.amazonaws.com/hmt-forum/blue_key_punch.mp4" type="video/mp4">
Your browser does not support the video tag.
</video>
More: https://www.uhs-hardware.com/product...punch-machine/