[dchz]

I think i would raise this,

the pot is decent, and given your analysis (to which i agree)
button doesn't have that strong of a hand equity wise vs us.

Hoever, the problem with just calling OOP IMO is not getting any value when the flush hits, because it will be painfully obvious and kill your action

i vote shove

i do expect a set from button a certain % of the time, but id doesn't have to the too high to make the shove +EV