as luck would have it I took a few pics with the valve cover off! I was budgeting about 2 hours for the job that ended up taking about 15 minutes. 2 hoses are removed, 4 bolts and 2 nuts (all 10 mm) and the valve cover is off.
Both valves were still exactly the same at my current 3100 miles as they were when I last checked around 2000 miles. .004 inch or .10 mm. Afterwards I was questioning whether the correct number should be .12 mm? Oh, well, current setting seems to run just fine.
I also decided to use one of my 2 new, still in the package valve cover gaskets. The old one seemed fine but it's 11 years old and I have new ones, so why not go ahead and use one. I lightly oiled the gasket and reassembled everything. Simple job.