Migrating users from one PGP server to another

Hi All,

After deploying PGP I found out my helpdesk has accidently enrolled 100+ users on the POC server.  I need to migrate these users from the POC server to the production server with little to no user interaction.

Has anyone migrated users from one server to another?

Thanks,

Ant