[gregorio]

Well played. Nice thing with shoving the set is that if one of the draws comes in, you have a redraw to improve. So much better to shove flop than to have to make a decision on this turn.