@FlyingChainSaw: I've found box office people generally very helpful in person, as opposed to the know-nothings on the phone.