Yeah, they aren't really big on the 'contributing to open source' thing.
They're about to lose a valuable tool that they'll have to pay money to replace anyhow. It's not hard to make a business case for.
You're assuming they're rational actors. They aren't - at some places (big defense) it's easier to get tens of thousands of dollars of software and compute resources than it is to get OSS approved.