is anyone condering the player behind us? does he just automatically when a $4200 pot when he has a 9??