We recently visited the Miralua, during lunch time, to get to know their buffet.
It has an interesting variety of dishes: you can find several types of salad, as well as two different dishes of meat and one of fish, cooked vegetables, the usual trimmings (rice, beans and chips) and pasta of various types.