Neighbor has a timing chain tensioner leak (and a valve cover gasket), pretty common failure point on those motors. Asked me for advice and I told them to get it replaced. They went to the mechanic who does the cars oil change said stated if you not loosing oil on the dipstick its not a pressing concern. Is this decent advice or are they just waiting for a bigger repair?