The only thing I might be able to add...
Since you have the entire top of the sensor off, which moves the connector out of the way, you might be able to rent a striped nut remover tool set from a local parts store like AutoZone or something like that. Take the tool and work it onto the outter sensor houseing and twist it out or at least free it up some.
Craftsman - Bolt Out 
I hope this at least can give you some ideas.
