We went out to eat tonight and the service was terrible, but LO made a mess so I still left a larger than average tip.

I usually try to pick up the worst of it. Do you pick up the mess or let the restaurant do it? Do you leave a bigger tip to compensate?