Buffet restaurant Mário Alturas offers self-service dining.