The Department of Education has some 4,000 employees and a discretionary budget of around $80 billion. The 4,000 should be ...