Only 7000 is available to short, http://interactivebrokers.com/en/index.php?key=Flpc&cntry=usa&tag=United+States&ib_entity=llc&ln=&asset=&f=4587&conf=am&amref=1