4.9 million available to short - be careful: https://www.interactivebrokers.com/en/index.php?key=sanp&cntry=usa&tag=&ib_entity=llc&ln=&asset=&f=4587&conf=am&amref=1