I don't think you understand - the assumption that they already got out doesn't hold because shorted shares/float data is publicly accessible[1]. Now I'm sure what happened today allowed them to cover some of their losses partially, but not even close to all of it.