Casa Pedro was a restaurant offering a buffet-style dinner, reportedly available to both hotel guests and the public.