1/10 is a sizable portion, I would expect that to be quite less...I hardly ever see men at libraries working.
Personally I am huge fan of the library and children. I don't think I'd want to be a librarian although I have considered it. It's the "being quiet" part that is hard. I can keep noise to a minimum when I'm there, and I usually only go there to work/learning
I advocate libraries though for sure, and haven't ever had anyone take me up on the advice to go when they mention a resource need, or even free events (we have a Zoo atlanta program here). At least people seem interested in the Zoo ticket program, but something as simple as just checking availability every day and driving there for close to a $100 value once a year is too much.
we have mobile libraries. I think men have this idea that libraries all have to be quiet spaces but actually there are many jobs in the library that need male input. Books are heavy for one thing...theres the IT aspect of it, and doing all the deliveries with vans and trucks, and looking after the mechanical side of it. Us women valued our male colleagues because they were rarer but had different skillsets.
I now have another job and a male boss this time working in a bookshop but still its like 10 percent men and 90 percent women lol. 2 males and 7 women..?
in my gardening job at first was the only female in a team of five...it was a bit of a relief to have another female workmate. Oh the tales I could tell...male chauvinism is alive and well lol.
I'd be down to learn the system well enough to be a filler person 1-2 times a month as a volunteer to help with call outs.
Otherwise, I'd just continue to use it as a resource.
Unfortunately, where I am right now, it's not too terribly close. A solid 15 minute drive