IRS coming after server’s tips