Amount of shares available to short from interactive brokers has been changing by the day. First I saw it at 200k, then 300k, then 250k as of now.   https://www.interactivebrokers.com/en/index.p...mp;amref=1