If you're calling the flop to chase the nut flush, then when you get there, your choice should be pretty easy. If you're afraid that the board is paired and someone will have a full house, fold the flop. As played, you're getting 119-1 odds, which is decent. But I would shove over every time.