Thanks. As I say about machine jackpots, 0.5% to 1% of the jackpot amount after taxes is good. Whether the dealers pool their tips or not should not make a difference.