Yes, 10K available to short: https://www.interactivebrokers.com/en/index.php?key=libe&cntry=usa&tag=&ib_entity=llc&ln=&asset=&f=4587&conf=am&amref=1