Short selling, by definition, means you don’t own the stock when you sell it. Investors with huge stakes in Tesla would just sell, not short sell.
Buying a put option would be how big investors manage downside risk, or possibly selling covered calls.