No se sabe a ciencia cierta si en el cargamento no se incluyeron especímenes de "Ambystoma velasci."