Let me answer your question with a question: Is it completely unlikely that having a large stash of bitcoin is going to be useful to them?
I think the answer is a resounding 'no.' If it put myself in their shoes, with unlimited resources, I would be like "throw a couple teraflops at this ASAP."
Seriously though, why would mining bitcoins benefit them?