You can google O2 sensor replacement costs and you will find that the only example cost that is at or over that $400 is for a Mercedes. The other costs are averaging about $100-$150 cheaper. And this isn’t “DIY” which would be much cheaper. That dealership ripped him off (or would have).
That’s why they call them “stealerships”.