Yes. They have. Timmer is lead there. 
Abby Johnson also personally mines BTC. Has been for many years.