Ameritrade shows now 4200 12's and as well as 2100 11's. They could be hedges against a big short position. Maybe Dew's? LMAO