De que programa son los archivos *.gi?

Pues que me ha pasado un amigo por ftp un DVD con los videos que se curró para el proyecto de fin de curso y dice que me los ha puesto en iso, pero dentro de los rar que me he bajado sólo había 3 archivos *.gi cada uno de un giga y algo.
Pero que es esto? Este hombre se ha ido de vacaciones y no voy a poder ver esto hasta que pasen dos meses o así?

Ayudadme!