So it sounds like these people already worked for the government when Musk arrived. We're not talking here about defections among the engineers Musk brought with him.

Right, can't imagine these are regretted attrition (for the administration)