Good question. I was never told the actual code. I'll have to ask the first mechanic and post that. He and the dealership have been communicating--very collegial as I understand it.

Thanks for your reply.