Pushrods, how do I measure for...

Did the mechanic try adjusting the valves? If you have the Crane rockers you mentioned, they are adjustable. I'm a little lost as to why you'd need different pushrods... especially if the car ran as well as you indicated earlier.