Exacto, eso era!!
Muchas gracias.
A partir de ahora ya sé cómo meter los nuevos contactos.
Lo que parece que no se puede hacer es pasar un "Contacto de Teléfono" a otro tipo, como p.e. "Contacto de Gmail". Así que tendré que hacerlo a pelo, menos mal que son muy pocos los nuevos contactos.
Gracias de nuevo!