i would push. if he takes your stack here with a flush draw, you still made a profitable play because you charged him so much on the flop.

i would also consider pushing the flop after he raises.