"When this occurs, the dealer will automatically pay each player who stayed in the game (i.e. wagered on the Play) even money on the Ante wager and return the Play wager to the player (it is a push)" . . . .