I thought those pliers were so neat, so I decided to look up what a pair would cost if they were available today.
https://www.vintagesingerparts.com/p...ier-tool-punch
And then this is a little bit more reasonable price.
https://www.amazon.com/Belt-Plier-Le...3886161&sr=8-9