All of this is on top of the cuts that Musk has managed to make at all of these agencies through the Department of Government ...