[Bastian]

Ok as played I think I would shove.

And the decision as to what to do becomes close depending on who the player is, I think.

I like a shove.

If you were thinking about check shoving there anyway, you could try leading that flop againts unknown just to feel him out. In a sense that if you were going to make an all in bet (check/shove), you would call one if he shoves on you anyway.

Might not be the best option, but something to think about.