Sure sounds like a reasonable thing to ask the shop to do. They should have caught it during a test drive. Should be as simple as pulling the box and and reclocking the coupling... however simple that is.

Sixto
95 S420
87 300SDL