^^^^^^^^^ Tree’d:thumbsup:
Use one of those adjustable pushrods and set the proper lifter preload, pull it and measure, order the correct length pushrods. Or buy a measuring pushrod and do the same. That’s the basics and in this case all you need to do with what you have.