Sorry ta hear about the broke pin

But your plug will need about a 1/8 inch flame channel, with at Least a .035 -.040 exit flash hole--that would be between about a #64-60 Numbered drill bit for the flash hole.

Let us know how it goes after the repair