Don't be so sure. They sometime like to mess with the car just for the heck of it. I've had some bad experiences with autobody shops. Check all your connections. sometimes they take away the sensor plugs and never put them back.
Let's hope that's not the case but it won't hurt to double check.
good luck !
Whether you think you can or cannot, Either way you're right!. by Henry Ford.