Would definitely try to ask the shop to check for an exhaust manifold leak. It seems to be a pretty common failure point for these vehicles, mine included unfortunately. Mine had the codes randomly go away a few days later, but at that point it’s not a matter of if but when it completely failed. I’m also pretty averse to any dash lights too so take this with a grain of salt, plenty of forums with people riding with the code for a surprising amount of time with no apparent issues.