A ticket office is run by a ticket seller.