It's not unknown for VX regulators to fail high voltage, and it can affect all sorts of systems in the car in all sorts of ways.
I'm somewhat surprised that the car needs to be sent that far for a simple diagnostic procedure that any garage really ought to be able to carry out. It could of course be that there's more to the fault code than what they have said, but if it is simply a high supply voltage it can only be the voltage regulator in the alternator and any garage should be able to sort that out.
Have you had any other symptoms that could be attributed to an overvoltage? (bulbs blowing frequently, other electrical wierdness, etc?)
I would get the car back, test the battery voltage while running as I indicated, and hopefully someone on here with TIS can look up those fault codes and get more detail on what they actually refer to. It could be that it's something simple which you can sort out within the week.
Kevin