Like someone else said here, if you are the one that will be returning it to service, I would have made sure they had all the proper manuals before I started the job. You will learn over time there are shops out there that will try to get by on the cheap and not have all the current maintenance...