Doesn't it make sense for Elon himself to be holding a sizeable short position? Presumably he'd like to hedge his large Tesla holding?