Can anybody tell me where the El Dorado restaurant is? I think on Los Muertos beach, but not sure. If we were walking, what landmarks (other businesses) should we look for in the area?