Oh, the irony! IRS agents beg out of Obamacare