i did export from 4, then import to 5. worked really well.. i've never tried the migrate DB, but would expect that the mysql peeps got it right..