.100" longer???
I know, I was screwing with him
as for figuring out what length you need, take an old one, cut it, thread the ends, and put a stud in it, adjust it till the rocker contact pattern looks right, then measure it
or spend $25 on a trend pushrod length checker.