Inaugural ‘no tax on tips’ deduction positive for casino