Volatility in the options is too low for reasons already established, so if I did puts I would buy them. I'm not bearish though, I think stock is worth $2,300 without FSD, and FSD may be coming... so I am not going to gamble on a pullback by taking an overt bearish when I think stock just needs to cool off.
Options are a ticking time bomb, so I sold the Oct calls with that in mind. I'm hoping to buy October again maybe after Labor Day. I've made $8M on short-term calls in the past 8 weeks. But I did not play weeklies.