If it's a simple shorty transfer punch that you need just buy a cheapy set of regular transfer punches from HF and cut them down to whatever length you need??
I thought of that, that would work if I could buy a dozen or so of just 3/16 replacement punches which I doubt. I thought maybe these were used for fixturing or something.
I`ve bought machinists boxes etc, from estate auctions, and a large pile of machined pins used for fixturing I assume. A few of these were mixed in with these pins, maybe they were self made by the owner, one off application, and no real name/ keyword for them?