Yes the one for the auto was the correct sensor for my car, even though I have a manual. I did have to shorten the wires by looping and using twist ties (they were included with the sensor).
It was very easy to change, I bought a 22 mm tool to remove it, but it was easy to break free and as soon as it was loosened (1/8th of a turn) it was only hand tight, and this is the original with 142k miles. I was shocked. The car was hot when I changed it. It took me all of 7 minutes to change the sensor, including driving up onto the ramps, swapping the sensor, tying up the sensor wire, and driving off the ramps.
The socket tool I bought is the AmPro Compact Offset Oxygen Sensor Wrench T75518 for just under $12. It was probably the same price as the 22mm wrench would have been, so it was worth the investment. If I had a suitable wrench, I would have used that instead (the sensor wasn't tight at all in my car). | 
HOW TO: Replace O2 Sensors 
Linear Mode
