I don't know about Aubers, BUT I would have took that chunk of meat up to 200 and called it a day.
1. It was a whole muscle cut not ground product. Bacteria easily gets into ground product.
2. Taking it above 165 kills bad stuff.
Is there still some risk, sure but I'm talking about me and what I would do.
+1. I probably would have risked it too. Being a solid hunk of meat, the risk is less. At around 120-125, the bacteria can no longer reproduce, so depending on how quickly the meat got to 125, you probably didn't experience much additional bacteria growth.
Bacteria start to die at 130. All bacteria will be killed if an internal temperature of 130 degrees is maintained for 112 minutes. 165 is the magic number for
instantaneous bacteria death.
You are taking the brisket internal temperature all the way to 200 (as opposed to a pink interior like a steak). That would certainly kill all of the bacteria. But heat has no effect on the toxins that bacteria produce. Since your meat did get up to 125, a temperature where bacteria are no longer multiplying, there probably wouldn't be enough toxins to worry about. I wouldn't risk feeding it to elderly, children, or people with a lot of health problems, but being relatively young and healthy, I doubt I'd have a problem.
Disclaimer for the Legal Department: Of course I am NOT recommending everyone do that. But that's what I would do.