No CEL: well, maybe the shop erased the codes and cleared the CEL for some reason. If so, it'll show up again after a couple of drive cycles.
So did the shop check the A/F on a dyno? If yes, what are the results if you don't mind me asking? If no, then how can the shop claim that the "car is boosting and running just fine"?
Gary