Military uses a 1/4730 gauge.
Colt uses the 1.4736" gauge.
0.0006" won't matter either way.

More on headspace gauge dimensions here:
www.ar15barrels.com/data/headspace.pdf