[allhappythoughts]

Shove. I've been in situations like this before, and it tends to end bad when you let hands go like this. Other shorty will probably double up with some trash hand, and you won't find anything better to shove with after this hand. Tough call, but I prefer the aggressive approach.