Orange County restaurants shut down by health inspectors (Dec. 4-11)