I don't have an answer to that question but it would not surprise me in the least. Didn't we have National Guardsmen stationed on the border who were not allowed to have any ammo for their ARs. If I recall correctly they did not even have magazines for their rifles. Guess they were just supposed to point and shout "BANG, BANG, BANG" really load.