[jonnyk]

The only way to know is to buy an adjustable length pushrod (one that works around the 6.25" mark) and mock it up with your head gasket, a solid lifter that is the same size as the lifters you are using, and then measure what length you need. Somebody on here may have the procedure...I can dig it up later if need be.