buffet fighting IRS