I would use almost all my time to play and on the last second push allin. There is one thing clear and its not to give cards for free. Youre holding trips but there is a straight posibility with a flush draw. If he has the straight the your drawing dead and hoping for the full house but its unlikely.