Others to add, SSO and UPRO
If and when we ever get a full on reversal, we can then switch to selling puts on the inverse ETFs such as DOG, SQQQ, SDS. I looked at some of the others but these seemed to have the best premiums, weeklies, and tighter bid-ask spreads. I am sure there are others I may have missed.