I really doubt that there has been one stolen. If there was dont you think microsoft would have interegated all thier employees etc. and hunted it down.
Yeah with all the security on this project there's no way it would have been stolen so its probly just a marketing scheme.