Converting the Civic Auditorium to educational use could cost about $140 Million