I think the point is the stock would actually go up if Musk buys it because people think he’s a great businessman, despite all the evidence to the country. So no need to short it, just sell at the peak and duck out before he manages to crash and burn. Again.