Key punch. These are used for making original keys, as opposed to a key duplicator.
<video controls autoplay loop>
<source src="https://diqn32j8nouaz.cloudfront.net/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/
