Not that I have anything that could measure the length correctly, but do you know what that spec is?

The head is already installed, but I do have two sets of bolts in the garage and would like to compare them. One set was installed once before and one set was installed twice.