Looking at their 13f filing (filed in may 2026), they had $8 billion of leveraged put options.