I've actually have that part sitting right here.. Had a pistol poker a while back and mine was missing. I never found a replacement and sold the pin with a modified one I made up.. Is yours missing or also broken? This one possibly could be repaired, using JBweld or something else.
I was so hard up to find one, took me a few years.. That I bought this one on eBay for $45 plus shipping so I could scan the artwork and possibly fix it.. But went another route..