Hola Cesar
Los archivos que proporcionamos de los laboratorios ya vienen con las imágenes incluidas de los dispositivos de red, eso lo mencionamos en los propios laboratorios existentes, si le das una mirada por ejemplo a esta página https://netwgeeks.com/topic/lab-hsrp/, ahí mencionamos que no necesitas las imágenes ya que vienen incluidas en el archivo otorgado, lo único que debes hacer es importar el archivo en GNS3. De todas formas si deseas los IOS individuales también los proporcionamos como puedes ver en esa página.
Atentos a cualquier otra consulta/comentario.
Saludos! =)