Casa Ramón is a restaurant. Reservations are recommended.