Update on the card catalog: looked at it, decided not to buy this one. Somebody had painted it navy blue, and the paint job was actually pretty good but it now gives “country kitsch project” vibes rather than “old tired wonderful library” vibes. I’ll keep looking.