Portadocumentos perdido de profesora

Hola, tengo una profesora sin portadocumentos va al trabajo y sigue sin traer el portadocumentos. Ha ascendido a jefa de despartamento y sigo sin saber donde tiene el portadocumentos.

Escuche que en la biblioteca de la universidad se podían comprar ese tipo de libros, asi que he ido allí pero no veo forma de comprarlo, tampoco lo puedo comprar en el kiosko y la persona que es bibliotecaria resulta que ahora no vende nada o no tiene la opción de comprarle nada, es más el bibliotecario parece un sim normal y corriente.

¿Alguien sabe donde esta el portadocumentos o como comprarlo?