Yes, and they have short more since if the shares available for shorting on interactive are accurate.