What to do with the Hunt Branch Library in Fullerton?

From The Orange County Register

“The city’s library board is recommending the Fullerton City Council either fund the $1.3 million per year it would cost to operate the Hunt Branch Library – closed to the public since 2013 – or decide what else should be done with the property, maybe even selling it.”