When we went in 2009, they just handed out a copy of the brochure.
Personally, I just used the info I found here to make a few one-page "cheat sheets" that had the info we would be even remotely interested in looking up so that I only had to carry a single sheet on any given day. (Well, two sheets -- the second had ADR info: restaurant name, date, time, and confirmation number.)