Someone on the hbrm board is reporting that interactive brokers claims hbrm is no longer available for shorting.... Hmmmmm