Would somebody please send me the outside diameter of the tube portion of a pushrod tube? I'm 900 miles away from my Corvair stuff.... Diameter of the pushrod would be handy, too. Thanks.