El Patio Restaurant is an All day dining restaurant, serving International and Indonesian specialties as well as a wide selection of Asian favorites. International breakfast buffets are available daily. Lunch and dinner buffets are available on special occasions.