The proper length is very important. Your mechanic may have a valid point for the more modern, high RPM engine with hollow push rods. I doubt that some minor pitting on a solid push rod in a low RPM, virtually a tractor motor is going to matter.
But then I have a romantic attachment with reusing old parts.
Carl
