I'd welcome that over no light turning on at all. I can't check anything right now because it's at the mechanics shop. I would figure that's something they would check.
Never count on anyone checking everything. This isn't a slam on any mechanic, but the reality that every vehicle has it's own quirks and ways of breaking so no one can remember to check all the possibilities of for every vehicle. Always best to share with them any vehicle specific information you may already have, just do it politely.