All,
Reviving this thread to add a bit of useful information. After reading all these threads and trying to change my sensor, I ran into all the aforementioned problems of stuck sensor, breaking it into pieces and finding the replacement sensor to be a very tight fit.

The way the new sensor is made, you run a big risk of breaking the electrical connector if you pound on it with a hammer handle as shown in the photo. Trying to tap on just the edges causes the sensor to go caterwonky in the bore and stick even more.

The perfect solution turns out to be a 3/4 inch crows foot wrench. It fits the exposed flanges on the sensor like it was made for this job. The electrical connector is safely isolated in the center. Add a 12" extension (3/8 drive) and you have the ideal tool to pop that sensor into place by tapping on the extension drive. (I had a cheapie set from Harbor Freight)