They'd only pass Birmingham proof if they were exported to England, and that still is not a good judgment of function without it being checked for microscopic cracks.
Went back and re-read the posted reply from AIA, other then the annoying cap lock being in use I did find this gem. The best materials for recievers out there are mild steels, that is steels with under 0.4% carbon content as you want the receiver to flex in the inner core, while having the hardened case to handle the loads without shearing.
For example the M14line of rifles use 8620 steel, its a nickle-chromemoly steel, low carbon content (a mild steel) which is case hardened and in the M14 platform handles a life of 425,000 rounds.
Only tool steel I'd trust in a firearm other then 8620 is probably S7 or similar, as they are designed to be shock proof, running a piece of metal that is all the way through hardened can cause very large problems due to the shock loading that a firearm receives.
Mind you I am still laughing at the "Mil-Spec Alloy Steel" bit, as all steels are alloys and any commercial steel has a military specification number attached to it. So really they can be using just about any steel they wish.
Even Mild Cold Rolled steel (1020) has a Mil-Spec number "MIL SPEC MIL-S-11310" ... so they are not telling you anything of value in their email.
Dimitri