Always a good idea to replace the tensioner when doing a timing belt on anything, in my experience. I've had them fail soon after buttoning everything up. It's a PITA to get back to on most rigs. Not worth the headache and time to go back to replace it.