a ticket office is for picking up tickets