I found it. It's a 7/8 inch socket (translates to 22mm). Brand is Powerbuilt (sold at Kragen). Never used (bought a wrench instead). PM me if interested.
New wire comes with the new sensor. The whole point of the socket is to get an impact gun on it to remove a stubborn one. When to install the new one, a wrench works just fine. They don't need to be Bubba tight!