Originally posted by IhafLooks good to me. Not shoving the turn likely won't make a difference on his calling range in this particular situation.
If you didn't bet the flop that small, you could could stack off on the turn. Bet $1 on flop, 3bet to $7, ship turn.
As played just shove the turn. It's a slight overbet, but your getting your money in ahead and you won't get into awkward situations where your stacking off on the river by betting 1/7th of the pot.