What was his federal offence? In Texas, those mags were likely legal. They aren’t firearms. Maybe he needed an export license. His problem, it seems to me would have been the Mexicans.
ITAR covered items. You need to register as an arms exporter and get approval for export from the State Department of any parts of a firearm.