DOLPHIN would be my choice of those 2 by far. My first choice during the holidays would be Wilderness Lodge but I'm not sure when the are fully decorated. They also may have WL discounts later for Nov. Also, be sure and add the additional fees at the Dolphin and that there is NO free airport shuttle to the Dolphin. No DDP either. We usually drive down and pay out of pocket for meals so it's not a problem for us.