a ticket office is for buying tickets