Details on IRS prop. regs. on tip income deduction