oh, and to answer your question. I think a push is ok here. i'd probably just reraise to about 4-5x the initial raise though, i think you get 100% folds a lot of the time with a push, i'd want a caller or two, then i'd probably just push the flop regardless unless it came like JQKs