In all honesty, I would prefer option A myself. But I know how hard it'd be to get that many people to go. It's worth a try though right?
And Tobias, they open at noon everyday, so this would happen sometime before then if we went with option 1, and sometime after if we went with option 2. We would figure out when we want to do later, if there was enough interest to make the trip official.
As another alternative, I noticed that if we go in individually, it's $8 a person. Which means we could gather as a group in front, and then go in. But I'd have to figure out the logistics for that. This would mean doing it during normal hours, and we'd be surround by other people with out the benefit of a room. It also means we could go in as a smaller group with out paying a lot of money. (so after noon) So lets call this option 3, if anyone is interested in that.