We aren’t talking about penny stocks we are talking about a tech giant. At the scales that any ordinary investor is operating at there will be no liquidity issues with shorting it and if it is in your index fund the short and long positions will directly offset if you size it correctly leading you to have net zero exposure to SpaceX.