① it was '83, not '85 (and thus air-cooled);

② it was an aftermarket camper van conversion with some slight design issues in the pop top, not a Westfalia;

③ after I rebuilt the engine a second time we sold it, so, blessedly, it's not mine anymore. My engine rebuild survived for a couple of years until the new owner drove it in second gear for an hour at highway speeds, overheating the engine to the point where it punched a pushrod through the crankcase.