Annual cost of 93,000 IRS employees = $6 billion.
Ok, smarty, what's the small print?
I believe that the point the good Dr. was making is that $6 billion + $232 billion is completly wasted each year by our current tax system.
Again useing his words, "If these Americans weren't fooling around with the tax code, they could produce the entire annual output of the aircraft, trucking, auto, and food processing industries combined..."