When I asked, the librarian said they were all part of the same consortium so it sounds like that might have been true one but it's been sorted now.

In Pittsburgh we have lots of those "tiny satellite branches" but I call them neighborhood libraries because that's how they function