Extender

As pictured, the pushrod tube was slightly too short to fit into the head of the top end. Without a replacement, we decided to machine an extension piece out of aluminum.