They can get shorted, but WAY less than the overstated OTCShortreport numbers show. They include a lot of other MM activity in the same "bucket".