IPOs experiencing significant drops after their IPO is not a crazy theory, it's pretty much the norm: https://potomacwealthmanagementllc.com/2026/03/04/underperfo...
Not guaranteed, but the norm.
I've never tried to buy PUTs on a big IPO but I wouldn't be surprised that there's a premium on them, if options trading is even available.