I saw pictures today on another website of work being currently done on the restaurant. Hopefully, it will be open for your Christmas vacation since it 'operates seasonally.' I love this place and it never seems to be open when I'm there!
We were at Disney the first two weeks of October and it was closed for refurbishment and it was covered with tarps. It was noted on the Times Guide too. There was no mention of when they intend re-opening there. Perhaps if we know what they are doing with it right now we may be able to guess, but I have no idea.
They are only open during the busiest times of the year, and then a VERY short window, sometimes only 11:30 am to 1:30 or 2. The Times guide when you enter the park is your best bet not to miss it.
In all our years of going to WDW and we had never seen it open...then it was this past August!!!! DH was thrilled to try it...except it was just too flipping HOT and no one was hungry... so yet another year goes by and we have yet to experience it.