Glads you got it sorted out Benny
I got my pigtail and sensor at my local International dealer.
$20.65 for the pigtail.
$98.85 for the sensor.
I also bought the Snap-on ICP specialty socket. I've used it a number of times and I like how it's worked for me.
http://image.snapon.com/international/pdf/S6196KR.pdf