I think I would have checked and see a flop and play from there. Push may be as good, but why would UTG limp if he doesn't want to call an all-in? Still not sure... both options looks good to me.