When a manufacturer lists an AR barrel as 11.5 (Or whatever) inches, how much of that length includes the barrel extension? I think that legally the barrel length is from the muzzle to the face of the bolt on a closed bolt, but I'm not sure how far the bolt actually goes inside of the barrel extension. Does anyone have a barrel lying around they could measure so I might compare a quoted barrel length to actual overall length?