What to know — and what isn’t known yet — about US tax deductions for tips and overtime pay