The problem with Bosch sensors is that they heat up more slowly then the Densos and the PCM is timing this and set a fault code. There is otherwise no difference between those two brands.
Would be quite early to change the O2 sensors at 30.000, especially when it was running fine before the service.
Would be quite early to change the O2 sensors at 30.000, especially when it was running fine before the service.