> Did they ever check first to make sure some other library had a copy? Did they warn that other library "we're getting rid of ours, please don't get rid of yours"?

Yes. They have a shared catalog. All of this is coordinated. It's literally the whole point of being a librarian.