[gumpzilla]

I think this bet is almost always going to be either a better flush draw or a 9. This is not a board for check-calling two pair or a flopped set with, though of course some people will do that occasionally. Both the flush draw and the 9 seem reasonably likely to pay you off if you give them a chance. Pushing means that he has to call ~800 or so (I'm approximating) into a pot of about 1500, which I think he'll do with either hand, so that's what I'd do.