Migrating from Workgroup to Domain -- User profile migration?

[RJ831]

Our school is moving from a Workgroup setup to a Domain (Active Directory.) I'm having a problem though. When I set up new users all of their local settings disappear. So now I'm looking for an easy way to migrate User Profiles from the Local User to the new active directory user. I know microsoft has the Active Directory Migration Tool but is that truly the BEST way to do it?? The guide is like 100000 pages long so I'm not even sure if I want to go that route. Thanks in advance guys.