Per all SEC filings, they appear to be in. Unless they haven't updated yet. I'm sure some of them sold out, but the institutional holdings were like 52 million out of the 75 million OS.
Register for free to join our community of investors and share your ideas. You will also get access to streaming quotes, interactive charts, trades, portfolio, live options flow and more tools.