Any update on what happened? I'm curious to know how they resolved the problem. If you can, be sure to ask for and post any codes the car reported so other people who might encounter the same issue know the cause/solution.
Oh, and for quick reference, this is the thread Jeeman0 referenced.