[thing85]

I raise it to $9 on the flop. This guy is a short stack, so if he has anything, he'll probably get it in on the flop. Most of the time, this is a draw, so you want to pound him while you're ahead and don't give him the odds to draw out on you.