Turns out that when he did the migration it caused some weird application issues like Safari beach balling.  He did a clean install and everything is fine.  It seems safer to avoid migrating user accounts. Yes it is more work, but too many of them tend to have weird issues.