What happens when a ticket office closes?