Yes. They have. Timmer is lead there.

Abby Johnson also personally mines BTC. Has been for many years.