In my library...well, I work there, I should be familiar with it. Um, I think the music racks have about, oh, I dunno, a good 500 albums in them? So that'd probably be like 6000 songs?
And then there's whatever's in the children's department. That's probably a bit more. And then the movies we have, some of those are recorded concerts.
I'd say probably about 10k.