Got a 1000 rounds of 223 brass from a company in Kansas called R3 Brass. It’s once fired military. The ones I have measured are under 1.740...3 thousands or so. All my manuals say a 223 case should be 1.750. I full length sized a few and they come out at 1.740. Is this too short? Any advice would be appreciated.