Yep, I own some $MSTR as well as some mining stocks.

I'd rather own more bitcoin to be honest, but bitcoin-adjacent stocks are the best way for me to get exposure in my pension fund.