4bet to like $9.50 and call shove.

As played I'd probably raise flop.