I was told that the solenoid that controls the gas mileage at high and low speeds was bad - leaking oil. I cannot find the proper name for it or a diagram of it. Can you help?