Can you tell I've never been inside a vw engine? I searched the web stores for new head gaskets to have on hand when changing push rod tubes with no luck, then read somewhere that no head gaskets are used,,,ok,,cool. Sooo, what's the deal, just clean both sides and re-install? I'll also measure bore/stroke to verify engine size while heads are off. I'm guessing it would be a good time to check valve seats? Thanks