Yep, just there. 7-10. Gets more crowded towards the end.
Here's what I saw
decent scrambled eggs
soggy but decent sausage patties
good diced potatoes, skin on
slices of white bread
oranges
cereal (fruit loops and something else) from a big dispenser
danish pastries that didn't seem that fresh even though they kept adding more
acceptable packaged type donuts (chocolate, powdered, crumb) that they alternated with pastries
make your own belgian waffles, not that great flavor batter, but nice and fluffy fresh
decent "orange" juice out of a bag in a dispenser
decent grape fruit juice also in dispenser
decent coffee
first day seemed good, but by the 3rd day I didn't even want their food anymore