1995 w 245K on the clock. Came to us with evidence of leaking oil tensioner. Runs very well, but don't know when its time to replace the tensioner. Does the small external leak ( witnessed by oily grunge around tensioner) indicate a need for replacement? A search revealed no answer. Thank you!