Exactly. Not that much time above $100k. I doubt there are massive amounts of people harvesting losses.

Also, they would generally just buy back after selling if so.