Thanks for replying, wmburns.
Well, to give a little of background,Ii bought the car 5 years ago. Three years later, it blew the gasket for the first time (at least when I had it). I took it to a garage and got it repaired without going into details what the guy was doing and how. Now I realize...