Traditional OHV BMW boxer engine which recently developed a dribble of oil on one pushrod tube. Replacing the rubber seal would probably mean pulling the head and cylinder barrel to put the seal in place, then replacing some O rings at the cylinder base plus a head gasket then reassembling and retorqueing the whole mess. Doable, but a PITA. and probably a big chunk out of a Saturday. I read one account where the owner had managed to wrap plumbers string between the pushrod seal and the lip in the pushrod tube to add some pressure to the seal. Anybody else tried this or any other wuick repair technique ? If it did nothing more than fix the drip for a few weeks until I found the time for a more permanant solution, it would still be a very worthwhile fix to me.