She sold after the stock blew up to high levels. I was considering buying puts yesterday myself.

Oh, it’s 1.6% of her stake, too. Basic portfolio management.