Use of former ticket office space