I understand that the AR15 had an even lighter barrel when originally submitted to the Army for testing than what it was released with as the M16 (0.570 nominal in the thin sections, I believe). The Army required it be slightly thickened due to danger of "rain burst". Does anyone know what diameter that original barrel was?