I would have played it the same way, but as he may donk out a flushdraw i think the right thing is to raise a litte more, like 13-16 dollars, so he doesent get too good price to call. Easy ship with set, he is likely to do so with flushdraws, plus maybe 2 pairs etc.
Nh