Problem?
It would be interesting to find out what the peak usage rates are for the computers. Since 2010 more people have internet at home, and more people have smartphones (so they only need wifi at the library). If there are unused computers during the busiest times it would be hard to justify not downsizing as the equipment ages out.