I would make it $12,and everything on the turn.
Shove would be ok,since we have some CS behind and a donk on SB.