[MeisterPetz]

Würde mich in dem Fall wundern. Aus der Ventildeckeldichtung tritt normalerweise kein Kühlwasser aus, sondern Öl, und das riecht völlig anders, als heisses Kühlmittel. Rauchen tuts aber auch nicht schlecht.