Hi Chowhounds. I am leaving in a little over a week, does anybody know the phone number to Casa do Leao..The castle of St. Jorge has a restaurant in it that is suppose to have a breathtaking view. I would like to make reservations for Christmas Eve. Thank you for all replys!!!!