OK well thanks for not answering, I see the question has been running for a few years, so here's my answer to help some others:
The data are all set in the tables wp_users and wp_usermeta, which makes "Import users from CSV with meta" the best plugin to use for this purpose.