I doubt Trump cares about Musk's flunkies.