personally I would fold though I play very tight. He wasn't staying in for a flush draw, may have a set, but just as likely to have a straight equal or higher than yours. My guess is that he had a 9 straight but now with the added bonus of a free flush draw.