The article doesn't say anything about the documentations and specs being destroyed, just that the tooling etc will need to be dusted off and new workers traine

The article doesn't say anything about the documentations and specs being destroyed, just that the tooling etc will need to be dusted off and new workers trained. The biggest issue is legacy chips and electronics that are no longer made. These will need to be replaced and the Stinger basically redesigned with a new seeker head. Keeping this production line hot would be extremely expensive, and since none of our allies were buying any and the US military expects to have air superiority/supremacy in any conflict they fight, this is a tempest in a teapot.