There’s One Big Exception to the IRS’ New ‘No Tax on Tips,’ and Enforcement Could Get Awkward