Push is OK. It's only a pot-sized raise. But given that cheesy little blocking bet he threw out, a raise to $80 might be better as far as encouraging some action. This guy seems like a nimrod - how is he still in this hand after you 4-bet pre-flop?