Probably unrelated but I wouldn't go back there anyway. You will need an OBDII code reader to read and delete the code. Of course if you don't fix the underlying problem it will probably come back. You can buy an OBDII code reader for $50 to $100 just about anywhere, and some auto parts chains such as Autozone will read the codes for free when the check engine light is on.