I've got a friend, and his 600 just died. He's getting a 700p, and wants to move his contacts.

I've search, and found the migration via hotsync, but my friend does not use hotsync. He has the files from his 600 on an SD card, and has backups via Backupman. His plan is to put the same SD card in his new 700p, restore a set of files that make up the contacts database(s), and move on.

Does anyone know which individual files need to be restored for all the contacts to move over?