1818 views | Last updated on Oct 23, 2023
There are several pencil sharpeners located at various places throughout the library, often mounted on pillars. For instance, there is one just inside room PL-5005 mounted on the wall and another one outside PL-309.