WorldCat is a great idea; I hadn't thought of that.

We have a somewhat specialised collection. That it's integrated into our regular library catalog is, I understand, somewhat odd. But if I end up being the professional librarian here, I'd like to join the appropriate professional group so I can talk to others about how they make these decisions.