As played I think the flop push is fine, but as AHiltz said, I would push preflop and try to get it all in there.