Musk was brought in as a special government employee to head the Department of Government Efficiency.