Was too lazy to calculate pot size, but there's only 2/3 pot left behind on the river so while he's prob shoving anything he bets, crai if he doesn't is fine I think.