Yes, they are fucked. Apparently there are 3.1 billions shares being used for shorting. Way more than the float.