I would say that, since a library must be concerned about liability, you must consult the library's lawyer, if there is one. And it's a good bet that the lawyer would tell you to file a report. Liability can be a huge problem.