Disneyland Tickets

[Sonya D. Neufer]

Disneyland discount coupons ($2.50 off the admission price) will be
available at the Usenix registration desk starting on Sunday at 4pm.
They are good Sunday, June 10th, through Sunday, June 17th.

According to the Disneyland information desk, 714-999-4565, the normal
ticket price is $25.50 for persons 12 years or older and $20.50 for
under 12 years.  They also say a discount of $2.00 off the admission
price is given with a Magic Kingdom Club card.  Magic Kingdom Club
cards are given out by many U.S. employeers.  Check with your benefits
department.  I did not ask if you can use both a Magic Kingdom Club card
and the coupons.