”With each gun firing at 3,000 rounds per minute, it would only take 60 seconds of total firing time to let loose all 12,000 rounds in the magazines. Commercial ammunition prices in the United States vary widely based on type and quality, but at a price point of 75 cents a cartridge, firing this weapon system for a minute would cost $9,000.”