I’m always happy to see old architecture (the good stuff) saved and put to use.
Especially in DC. The 19th century styles are much nicer than the Brutalist structures.