For what it's worth, I have a very large handful of larger-than-normal-caliber ARs. The only one I had to fuk with the gas port on was my .260 Remington. The barrel shipped from a very reputable manufacturer with a 0.070" gas port. That gas port needed to be 0.080" to run right. That's the size it is now, and it runs great. I only discovered that when I tried to feed it some factory match ammunition, and it wouldn't cycle with it. It always worked fine with my handloads, before that. Now, it works even better. Punch the gas port, don't overthink it, and don't sweat it.
EDIT - That same barrel manufacturer now ships this exact same barrel with a... yep. 0.080" gas port diameter.