You're lucky they're working on something like that. Here in Fort Worth they just cut way back on hours on all of the libraries. Libraries and parks are easy targets for budget cutters. Some that used to be open seven days a week and evenings are now open a few hours a day five days a week. It's a real blow.