It was shorter heavily well above .000, so yes it was shorted way back when. No, nobody is currently shorting.