I don't know what Bosch wideband sensor that uses, but I'm pretty sure it's not the LSU4.2, it has to be one of the earlier LSU generations. The reason I say that is there is no Bosch CJ125 interface chip for the LSU4.2. That wideband unit will probably work fine, but they usually have to be calibrated somehow for decent accuracy. The CJ125 takes care of that for the LSU4.2 sensors. With the $50-70 price for the sensor they quoted, that's not a LSU4.2 I'm pretty sure.
Most of the units on the market, Innovate, Zeitronic, etc., use the 4.2.