Eh, in hindsight, I should’ve bought the puts when I called it! Still thinking of buying them now to hedge against further meltdown. A -10% oom put costs only around 1% / Q to carry. That’s relatively cheap compared to last year’s 20-30% rise. And I’d guess things will get sorted out in 1-2 Q.
Heads up - applying for options trading permissions can take up to a week depending on your broker!