What % of that is owned by employees that aren't named Elon Musk?