The park has always called it Pretzel World internally. Often the names the park refers to things internally are different than the "official" names that we see on the sign outside. There are a lot of examples of this. Take Aquataine refreshments that's what the sign says but ask someone in the park where it is and they might not know because internally it's called France Coke Market.Has anyone spotted the usual heated tents for extra outdoor seating? And is Pretzel World the regular pretzel shop next to Verbolten? Why change the name?