Do you have a way to check the seat height of the old ones? if not find a machine shop that has what they a height mic, the ones we use at work are nothing more than a 2" travel indicator mounted on a granite base with a pedestal to mount the indicator to, or try a set of 3" od mics with a 5/16 ball bearing in the cup, then you will know for sure.

Light travels faster than the speed of sound,,,this is why some people seem bright untill you hear them speak.