a ticket office is for selling tickets