Shorting just doesn't seem ethical to me so don't do it. I personally would not short this with such a tiny float.