If you go up to the box office and ask for "Alt-F4" they will act surprised and confused, but just tell them to type it into their computer