WOW!! That manager must have been really stressed. You did exactly what I would do. The restaurant will almost always make it up to you and apologize for the inconvenience.