Has anyone used a racepumps fuel pump before? What did you use for a pushrod? How did you keep it from leaking. Tim