Using numbers I think sound big and ridiculous, I don’t see how you spend more than $1m/per airport x ~500 commercial airports for compute and work stations, maybe another, $2m per airport for cable runs, radars and radios, and the like, and maybe ~$1b on software development (it’s the government) that’s $2.5b rounded up $3b I can’t fathom $42.5b

And when the modern consumer grade computer fails in the middle of a busy shift?