I'm with Paul - your shop is suspect. What codes came up? I get the codes read somewhere else and see what they say. Or get an OBDII code reader and see what you get - should get something with the CE light on.