You say the current spec is 5.5" so probably even if you found an older spec it would also be to only one decimal; which is not precise enough. For installing a toolpost you need accuracy of something like +/-0.001" so you need to do the measurement to this the level of precision and work with that..