Also, when measuring the pushrods, it is the overall length right? The car is 40 miles away from my house but my friend is going to measure one for me.