Former US military officer here. This does not surprise me at all. I wasn’t in subs but we absolutely did this for maintenance of other multimillion dollar assets.
Microsoft is in so many government offices around the world it's not even funny.
I’m certain MS is in all government offices almost globally, except that one municipality in Germany that keeps attempting a Linux transition every other year.