Actually I like a shove. I hadn't seen that he is a half stack, and while he can have the nuts there are so many draws/worse hands like T9/89/79/jt/qt etc. that he can have that I like a push. Sucks if he's a nit though and it kinda depends on how bad you assume a random half-stacker is in the games you play.