I have exactly the same scenario
Hello,
I have exactly the same scenario as I had the brake booster replaced yesterday and got this wrench light today while I was driving my car to work. I called the mechanic but he doesn't seem have a clear idea about the cause and don't want him to mess up...