No tengo ni puta idea, pero no me sorprendería tanto que el tio lo haya conseguido. Eso si, teniendo a mano el codigo fuente de los programas que usa el avion y toda información necesaria.
Vamos, que dudo, y mucho, que una persona pueda conseguir tal hazaña diciendo "bueno, hoy me compro el ultimo galaxy y me voy al aeropuerto de barajas, a ver cuanto tardo en piratear todo esto".