Now-legal betting on football playoff games should pay off for IRS, too