Good idea.....and get a factory manual. Ebay usually has them.....
Aint it amazing that shop didn't even test it before telling you it was "ready"? And you paid good money for shoddy work. The cost of a manual is less than one hour of labor at most shops. With a manual and this forum you can...