>On reassembly you get a "spring loaded aftermarket push rod tube " designed
>specifically for being able to install and remove with out removing the
head
>or damaging the push rod tube.
If you go this route the orginal vw push rod tubes are way over priced ~40
tibe
you can get a set of 8 PushRods for $90
http://www.cbperformance.com/catalog.asp?ProductID=1395

you need to invert these to work on the vanagon but a number of people use
these
you can see them installed here
http://i105.photobucket.com/albums/m218/tencentlife/Vanagon%20Pushrod%20Tube
s/Jayceepushrodtubes2.jpg