They sell standard, .010 and .020 oversize pins. I have a micrometer. What should the nominal diameter of the pin be?

Thanks,

Keith