Here's a Lucas Ledex 194414-001 rotary solenoid 9017. These are NOS. Thanks for looking.