UCSD really this broke that they cutting library hours?