Do you know if the whale that was leveraged at 40X has already sold? 👀