Si son contactos puedes hacer una copia de seguridad desde "contactos" le das a exportar contactos a la tarjeta SD, eso lo guardas y cuando instales la nueva ROM le das a importar contactos desde la SD. Con el Contact2SIM puedes copiar contactos y numeros a la tarjeta y luego los vuelves a pasar al teléfono.
Y con Gmail en principio si se deberia de poder sincronizar sin problema. Yo no tengo el Pro pero en el Mini normal le das a cuentas y desde hay pinchas tu cuenta Gmail y deberia ir todo....