My guess is they were mining it long before most people on here had heard of bitcoin.
Good one. A real knee slapper!
No joke. I reckon Bitcoin would of come on their radar early 2010 easily. They monitor the internet, that's what they do.
The real question is "how long did they mine for?"
I've got no idea.