If the light wasn't on prior to the service work, the tech either disconnected the battery and didn't ground out the two leads/or wait enough time to remove any lingering capacitive charge in the system. That, or they didn't disconnect the battery at all (!)
Assuming nothing's wrong with the system itself, the light can be reset with a peake tool, an autologic, any of the more recent MoDICs/a GT1, and I seem to remember Winfred saying that the snapon MT2500 will do it (maybe not, but the modis should). There's a big difference between the "service light reset tool" (if they're even using one) and something that'd be used to reset the SRS -- you can use a paper clip to reset the service lights.
So, did they install the right bulbs, after all of this? ETK is typically incorrect on the various applications.
Do a search on the subject, discussed all the time, ergo plenty to read.
best, whit