Hedgies lost $ Billions on their short positions but have not closed their AMC shorts