I am also fully short at ten times leverage, what is Musk worth? Even Marx would have to short.