My dad's 88 16v has had the problem recently of a bunch of oil in the spark plug wire tubes... I assume it's just some seal, or gasket that needs to be replaced.. but he wants to fix it right the first time.. anyone had this problem? How do you fix it? Thanks! Rob