I know this question has been asked before but I can't find it so....... What is the gas port hole size in a 7.62 barrel? Thanks