I will be in central Europe on business in November and have the opportunity to visit Prague. Unfortunately the best overall schedule for my business obligations puts my "free" day in Prague on November 17 which I understand is a public holiday. Can someone advise whether the major museums, attractions (e.g. the Castle) and shops/restaurants will be open or closed on November 17? If many of the sights of interest to a first-time visitor are going to be closed, I will consider rescheduling my trip. Thanks!