Media Man Blog: Elon Musk reportedly leaving White House role: What it means for Tesla