FWIW, I’ve started discussions of shorting DWAC/DJT via put options in two other threads, here and here.