I am going to the Costa Del Sol. Wonder if there are any nice
up-market restaurants in the area?