The tech CEO spending millions to stop Elon Musk