a few million dollars works out to a surprisingly small amount of time when you add overhead. Call the bug fix a development team of 20 people taking 3 months

a few million dollars works out to a surprisingly small amount of time when you add overhead. Call the bug fix a development team of 20 people taking 3 months end to end from bug discovery to fix deployment. You'll probably have twice that much people time again in project management and communication overhead (1:2 ratio of dev time to communication overhead is actually amazing in defense contexts). Assume total cost per person of 200k per year (after factoring in benefits, overhead, and pork), so 60 people * 3 months * $200k/12 months = 3,000,000 USD. It takes a lot of people to build an aircraft.