I like to push the shorty. You have about 12ish outs to a winning hand if sometimes he has a set and sometimes not. Need about 3 to 1 odds to call. You're getting that now, but push and maximize your EV here, not to mention some FE (not much at all).