I don't think a 16/th or 8/th of an inch either way will hurt as long as you have adjustment capacity on the rocker arm.
I was just thinking the same thing. They could be pretty far off so long as the room for adjustment was there, and they were adjusted properly for the difference in length.
