I mean, probably not all of their stash but if i was in their position I'd sure as hell be getting some real dollars in the bank.
I'm not sure that those guys are selling because we all know that addresses doesn't have names. If you know their address then you can track it yourself and check whether they are selling or not.
However, I presumed that they wouldn't because they doesn't really need millions or dollars because they are already millionaires. I mean, its doesn't make sense because they know that bitcoin can potential grow, they even petition to the SEC to have a second review on Bitcoin's ETF right? So for me, they are not selling at this point.