You wouldn’t have to worry about rabies too much in a stable population like that. If they’re living their lives inside the library, the only risk would be if a human with rabies entered the library and was bitten by a bat; a very low probability event.