I figured someone would say this; and you're right, if everyone goes to lunch at the same time, then you've got a problem; but, ideally people will think of this ahead of time, and adapt their eating times by 10 or 15 minutes so people are eating not at noon, but instead between 11 and 2pm.