That's sort of the point. I'm not defending their code. I'm pointing out that even if the code were immaculate, it would be hard for an code auditing firm to say "this has no sudden acceleration bugs". It's a very CYA statement.