Can someone tell me what is this thing that i highlighted in the first pic in the blue box? is it a sensor? In the second pic highlighted in red is where the other ends goes too.I am planing to change the whole set of spark plug cable but was wondering how to take this out which loop to the cable number 4. I was planing to put a performance type cable so the diameter might be bigger than this standard ones. So worried that i cannot put this wire/sensor back to the new set.View attachment 15657