What food should be served at the buffet?