Tipping dealer in zynga poker texas holdem