Wow. Really? I've never had to mess with a rifle port on my own.
Hmmm... maybe my brain remembered it wrong. Perhaps he was .099". It has been many years, and this was before I was correct-gas obsessed.
Printable View
MK12 port size is .0995. 20" MILSPEC barrel is .093.