A red light on the dash can’t be any good, right? You continuing to drive the car with the warning light on relieves the repair shop from any liabilities, regardless of what they screwed up, if anything.
Based on your experience described in your other post, do you really want to take the car back to them?