They did that part right by not attempting a go around. It didn't help the outcome however. I still don't think they would have waited 11 seconds to apply manual brakes. Where did that information come from? It took 20 seconds from touch down to going off the runway. If they didn't brake they might have considered using all that time with that speed to go around, no matter what the manual says.