No, it does not for valve covers. They are straight foreward to do, if you want to tackle them and are unsure. Plenty of air cooled VW guys on here besides the ones that have already posted. Patterson has had them for years as well.
I work over at The Northend Wrench and we see them frequently. Not so much this time of year usually, but big time in the spring. Dave the owner has a original '62 with 30K miles, and Mark our service writer has his fathers '61.
Motorkars (spelling?) works on them as well.