Just the leads.. missinterpreted your post sorry,
I guess then unless it's usual grime and grease or wd40 best just run the engine and see what or if anything is blowing/leaking/getting onto the leads..
Also that everything else is behaving normally, engine warm up/running temp, no loss of oil etc..