IRS hires 4,000 customer service reps, plans to hire 1,000 more