They should try to contact the crawling team directly. It's obviously a bug.
While it's satisfying to fix with a block, or vent in a blog post or tweet, actually getting to the bottom of the issue with the MS crawl team can fix the problem for other sites, too -- so that's the most civil and community-spirited response.