a ticket office is for the public to purchase tickets.