I'd use a valve spring height micrometer to get the correct measurement. They aren't that expensive....