Did they replace oxygen sensors? Some else had this problem when the oxygen sensors where replaced with Bosch sensors instead of Denso. May be something to look at if they did change them out. From what I under stand the Bosch heat up different from the Denso which I guess makes the engine idle a little rougher but not enough to set off the check engine light.