Interesting, thanks for the link. But not surprising. I work as a senior network engineer for a company that manages 1,000's of servers worldwide with a product called Labtech. I was tempted myself to script out commands to run GPU and CPU mining during early morning local times for a few hours that would have gone unnoticed.
Someone did an experiement doing this and the most his companies data center servers could mine would have been about 0.46
BTC per year. Hardly worth the cost of one's job!