Yo tengo un 457 y me viene un manual que parece una guia de telefonos, eso sí, en multiples idiomas y uno es el castellano.

Comprado en ECI.

Salu2.