Nel dicembre del 2915, a seguito di indicazioni da parte del Museo di Storia Naturale di Milano, la denominazione di questo esemplare tassedermizzato è stata modificata da "alligatore" (nome datogli in una ricognizione del 1970) a "coccodrillo" ; la provenienza potrebbe essere del Nilo (da verificare).