A buck's probably the average for two reasons. First, it's a locals casino, not Caesars or the Wynn. Second, the average cash tip is more than a $1, but not everyone tips, so his daily average is probably what he said. Chances are it's more like a $100-120 a day, but he and his coworkers have agreed to claim roughly $80 a day for tax purposes.
Good Luck!
Ric at Joes