What Musk Leaving DOGE Would Mean for Tesla Stock