So this car is a 08 accord EX-6V with 126k mileage; when I checked her out the car had a coolant leak spot (it looked bright green, the same color as the coolant in the tank so I don't think it has any engine oil mixed in it) towards the right side of the engine; nothing leaked on the bottom and it seems to be contained around the metal part of the engine, where the engine oil usually leaks with a blown head gasket. When asked, the guy said that it probably leaked when the new timing belt got replaced. My 20 bucks OBDII scanner came back good and no buffs of air from engine oil cap when engine is on nor smokes when revved. Should I be worried about this?