Majestic prices out to $99 for the sensor (plus shipping and handling).
That would probably be NGK. Yeah, the prices are otherwise good. Did he
say the brand of cat it was? A DEC?

Do get a tuneup. Cat's don't go bad by themselves, something else cause
them to go bad.

As far as Bosch goes, they are fine sensors and they are the most
installed sensors on the road. NGK and Denso only make sensors under
Bosch licenses.