I just bought my first 100 series, a 2002. I haven't even got it on the road yet and noticed today a pretty good coolant leak which seems to be coming from right around the pulley bolt. Should I just replace the pump? Or try the seal ? The timing belt was done 3,000 miles ago, I guess they went cheap and didn't replace the pump at the same time