Check that they put the gas cap back on, and tightened it. They usually test the gas cap separately with a pressure tester. However, you should get a code for that...