No, I'm not shocked. I just got my '84 Vanagon running (they're cheaper if
you buy them non-running,$600 )  Anyway I noticed that there was a leak near
the engine comp. upon inspection I noticed that it was in fact oil. Looking
closer I saw that it was the push rod tubes, I guess 5 years is too long to
sit in one place. I'm assuming that the seals are rotted out.
At first I thought it was just one, so I bought one of those spring loaded
replacement tubes. When I got home I looked closer, it's leaking on BOTH
side of the engine. I'm thinking they all need to be replaced.  What is the
list consenses? Do I pull the heads and replace them all? would I be
tempting fate by removing the heads? If I buy all spring loaded tubes, the
repair will cost me $400.00. I believe the bus depot has the gasket sets for
about 60-70 dollars per side. plus tubes I guess! What would YOU do with a
waterboxer? ( Don't tell me to do an engine swap, I'm too busy with rabbit
diesels right now!)  Thanks for any advice! :) Tom