Is the pushrod still needed when removing the fuel pump ? Assuming not having one installed would create an internal oil leak.