Allí ayudó a Benito Arias Montano y fray Juan de San Jerónimo a catalogar la inmensa biblioteca.