Repairs on the Edwardian building could cost €13 million, a Dublin City Council report has said.