IDL has 10% available, however I thought the legal limit was actually 5%. Anyway, only 300k are currently shorted, which is a miniscule amount (0.04%).