I never knew that! My dad must not have either, because we would have had to go to it when we took our trip to Denver when I was a teenager.