Of course I'm going to leave a regulation tip. I'm not going to be the ass in this situation. (And if the mistakes were due to things like "the restaurant is incredibly busy" or "one of the other tables is full of jerks", I'll tip more because they're probably having a worse day than I am).