Hat jemand die Zalinderkopfdichtung gewechselt und was hat Sie gekostet.Was wurde mit ausgetauscht ?