Pushrod length

If I could hazard a guess, he probably just needed a ballpark to know what length checking pushrod to buy since they come in different flavors...