Probablemente el nombre no solo depende del gusto de ellos, me imágino que como en todo hay que pagar un canon dependiendo del nombre que uses. Tal vez haya más cosas de por medio por lo cual no se ha podido poner ese nombre. De todas formas aquellos que estuvimos en esa época lo recordamos igualmente a pesar de que no se haga referencia de su nombre. Un saludo amigo, que ya va quedando muy poquito para oir rugir los motores…