[MasterLJ]

Push, I doubt he's folding a jack here. His all-in calling range is going to be slightly wider with a missed draw out there.

I don't really see too much difference in him calling a 5k bet and him calling a 9k overbet shove, besides the value you're giving up with the former.