Debatamos lo que haga falta, que siempre se puede sacar algo útil por ambas partes (creo que más con una actitud positiva). Si acaso te molesta admitir algo tan simple como que no era necesario, dilo y yo me disculparé por la molestia y llevaré el tema al café, que me parece más adecuado para estas trivialidades (que, comparado a otros temas, es lo que son), pero no como para incomodar a un bibliotecario, ¿qué opinas?