Ni idea. Puedes hacer una cosa, entrar en gmail desde el ordenador, y en contactos, abajo, pestaña "Más" -> Exportar (activa la casilla "todos los contactos"), y sigues ...
Los exportas a un fichero en el ordenador y después pruebas las tres opciones que has comentado a ver qué hacen. En cualquier momento puedes recuperar los contactos con "importar" el fichero que habías guardado antes.