Not positive but I'm pretty sure that your car is using a NTK wide band sensor as opposed to most using a narrow band sensor. You should be able to find it for less than $300 at Autozone, Napa, Partsbin.com etc. Note that the sensor you buy might come in a Bosch or other labeled box but I think that they are all made by NTK.

If my assumption is true, you will NOT be able to use a 4 wire narrow band sensor.

Todd