So my friend The penguin’s friend was driving down the highway when he lost brakes. According to the user manual, the brake booster failed.

Can anyone who knows their stuff or had a similar experience give some info?