Does anyone remember a kid's TV show from probably at least 15 years ago, which had these mice who lived in a library I think. I'm pretty sure they were puppets. And like, they lived in the bookshelves and talked, and some people knew about the mice, but mostly they hid from other people or...