Too bad FTX is crashing. I don't know where else I can buy (put) options on crypto.