Unfortunately we stayed on the 24th of December, when all the restaurants in the city closed after lunch. We decided to eat at the restaurant at the hotel, called Arrozante. The hotel had signs up to announce that since it was the 24th of december, the restaurant would close early, at 8pm. When we got in there and asked the waiter if he spoke english, he said no and just turned around and continued doing whatever. We went to the reception, and a staff member came with us, and then the waiter said that the restaurant closed at 6pm. A 4-star hotel should definetly have a better operator for their restaurant. Unfortunately this spoiled our overall view of the hotel...