I'm having the timing belt and kit replaced at a reputable shop and they're telling me that the oil gear set is leaking. I have seen it and oil doesn't look like it's really coming from there but I can never be sure. The part is $250, a 1/4 of the work that I'm having done. Should I have it replaced? I have gotten mixed feedback from people whether they go out or not. The car has 200k miles on it