Do the two red wires attach to the same terminal? If so, it is possible that the one red wire is a ballast bypass wire from the solenoid so the coil gets the full 12V when cranking, and the other goes to the ignition circuit to provide about 9V in the run position. (Ballast wire brings down the voltage.)