Yup, and the further out the expiry date for puts, the higher the price you pay.

I looked into it and it's not that cheap - and feels like the market is already pricing in risk of a large correction.

But you can still make a lot of money if you time it right.