I think it's less complicated than you'd think.. just buy LEAPS puts proportional to your exposure.
I'm very interested in seeing how the market prices these options after the IPO.