All is well with the repair. I have about 50 miles on it with no signs of leakage. While I had the opportunity, I replaced the thermostat (original!!), o-ring, tensioner bearing (got it at Grainger for $6.76), belt & coolant. My owner's manual says "if it has orange coolant, use the long-life stuff; if it has green coolant, use the regular stuff" (not verbatim). I asked my local dealer and they said the same thing. GAR! Being that my coolant was orangish-green, I flushed the whole thing and put in the green stuff. I'm keeping my fingers crossed!!