No problem, Paul. We just need to agree on a length for the new pin, and you need to post me the old one for measurement. I'll send you my address by PM, and you can give me yours the same way.
So, will you be happy with 0.012" longer than the old pin? If we're both still above ground when it wears out again, we can do the same repair job again, and if necessary make it longer next time.
