Does the Library have a paper shredder?

There is no public paper shredder in the building.