In the How-Tos, one of the tools specified for valve adjustment is a "Micrometer with .001mm resolution." I haven't ever owned a metric micrometer, but I'm thinking that might be a typo. It's equivalent to about 0.00004 inch, and I don't think standard mics are that accurate. Anyway, I no longer own any mics, so if I buy one for this use, what should I get? Will a standard 0-1", .001" work OK? Or does this job really require the additional accuracy of .01mm resolution?