Thanks again to all for the info.
I have already passed on a suggestion about the .080" wall, 5/16" push rods. I think this would be a trouble-free install and with minimum hassle. Of course, everything will be checked and double checked before the final install....