The bit I never understood in this story is the accidental leak of the debug symbols. Microsoft publishes them anyway. They are not a secret. Back in the day, the symbols shipped on the CD, and they published updated symbol packages for service packs. Nowadays they are published on the web and their debuggers download the symbols automatically.