I've never heard anything about the NSA telling a company they have a security vulnerability. Have you?
But if it wasn't a bug found in the wild, can you imagine the fights between the NSA red and blue teams on whether to alert Microsoft about it?
Of course they also crippled the key length to 56 bits...