Take one of your old pushrods and try it. It will most likely be too long but it will give you an idea. If you have a buddy with some tools you can turn an old pushrod into an adjustable pushrod. You just cut it in half and then thread it and use a long set screw as the adjuster.