[autokunst]

I just did my OFHGs and replaced the belt, too. No evidence of oil in the coolant, but the gaskets were leaking onto the engine and belt area a fair amount. 105k miles. I just bought the car, this was the first thing I took care of. Also did a full oil change, and I plan on doing oil every 6k or so - not a fan of the 15k oil changes. Very happy to have this leak resolved.