In the morning, you can order breakfast burritos or huevos rancheros as an alternative to the typical Lido buffet breakfast.