WD40 is not a lube, contrary to popular opinion. It's also a poor substitute for penetrant. It's great if you get your distributor wet, other than that, I haven't found much use for it.
That being said, I would use silicone spray.
Sent from my iPhone using
Fiberglass RV