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.