Custom/made-to-order. The minimum order was brutal on those (so was the initial mold cost). Glad I'll get them all in use at the end
Bet you can find tons off eBay in similar size? E.g. shirt & cap pins. You might just need to dremel the back pin on one of those and you are all set. Just guessing out loud here