We have been in Ruis Carvery on Pateos De Marina but not at Christmas, Its quite a good restaurant and has been established many years. Not sure whether they will be doing Christmas Lunch but you could go and ask or give them a ring on 00351 289 315 676. Its situated just off the Marina. If you are on the original Marina front go up the steps onto the little square above and its on your right.