Hi Steve,
Thank you very much for your detailed advice. The warning lights were on before the brakes were repaired. The VSC light is not lit, I made a mistake.
The auxiliary 12v battery, is that the main car battery?
Thanks, James
I asked Lexus for a written diagnosis , but was told not possible as sent to laptop when plugged in. Previous garage that did the brakes provided attached codes.