Marvel Cave was originally called Marble Cave, after explorers in 1882 saw what they thought was marble on the cave's ceiling. This started the Marble Cave Mining Company, although later it was realized that there was never any marble in the cave. The Marble Cave Mining Company ceased all operations after only four and a half years. William Lynch purchased the cave in 1889, and soon after opened the cave to the public. In 1950, Hugo Herschend leased the cave for 99 years. The Herschends made renovations to the cave, and later opened a theme park, Silver Dollar City, on the surface above the cave. Marvel Cave is known for being one of the largest caves in Missouri, having one of the largest cave entry rooms (the Cathedral Room) of any cave in North America, and for being one of the longest running tourist attractions in the Ozarks.
The other items I cant verify but my guess would be some names and events had to be altered due to copyright issues.