We had exactly that time in June. Breakfast stayed out but was condensed into one side by 10:45. On the other side, they started setting up the lunch items. Our server brought us our check right when the lunch crowd started arriving at 11:00 but told us not to hurry. We were so full that we couldn't try any lunch, but it smelled good.
We'll never do a buffet at that time again. It was hot and we were full. We couldn't do much of anything and just went back to the room. Sort of a wasted morning in the park.