Petra del Mar is a restaurant offering traditional cuisine. It's a popular spot for good food and gathering.