Mine was stretched. They replaced it and also re-sealed the valve cover gasket which had started to leak into the spark plug holes. Cost for the repair was about 3500 from a local indy that works on European cars. As a bonus I got new spark plugs, oil change, and a coolant flush as part of the...