I like your the line you chose a lot, I'd slam it all in right then. If you run into a higher flush (which it doesn't look like, since he played it pretty weakly, too weak for high cards) then pay it off, you still have a few ways of improving your hand too.