"Oh, and over 400 just for core White House staff."
