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

 Mining since 2014. They're OGs
https://i.nostr.build/4oROD.jpg