It couldn't hurt since it's so cheap but if the tensioner only had 15k I don't see the harm. If a pro said it it's probably from their experience so I'd listen to them. However, if you tension it and just reset it you don't have to replace it. Maybe some other types of timing belt tensioners but I believe it's just a spring.