9 of 23 The old opera house is being renovated.