Audi GT hall sensor replacement

About a year ago we tossed a motor in this little Audi GT.  Lately it has been having intermittent running issues.  Two thing we found were a baked O2 sensor and broken insulator at the hall sensor. So pull the distributor and here we go:

Broken hall:

Now we go after the tiny litte C-clips and press the reluctor/sending ring off the distributor to get to this:

Now with the new sensor in place:

Ready to go back in.

Audi GT 4000 distributor Hall sensor