The cheapest option might be to buy the index and sell short the appropriate amount of Musk companies.