Buy an adjustable push rod tool and measure it out. Not every engine is the same.
I went with the recommended on an engine of mine running 1.3 roller rockers and they weren't even close. I had to get the make your own ones, which is fairly easy to do. You need a digital caliper and a way to take thousandths of an inch off though. A Dremel with a cut off wheel worked very well. Having an old pair of lifters to use to set the push rod ends in is also very helpful.