Nial,
I haven't welded up a firing pin, but I know it should be straight forward. But I'm of a machining background and have simply machined a new one when confronted with this. I believe it's about the same or less work to make a completely new pin in most cases.