Can anyone tell me the diameter of the barrel retaining pin? I need to order one of the cup tipped punches from Brownell's and wanted to be sure to get the correct size. Thanks for your help.