No, there were no codes set. But ever since a I had fixed a stalling issue at high temperatures by replacing the fuel pump and filter, the motor was lacking power with high fuel consumption. Step by step we checked all the usual sensors and either ruled them out or replaced them (e.g. new MAP and IAC). Then we checked for a clogged kat (it was not) and while doing so we pulled the O2 sensors. Since they looked really bad but are not extremely expensive I decided to replace both sensors.