Actually, it wasn't so painful. I bit the bullet and deleted the original dropbox folder, then had it do the move. No resync, it just moved the entire directory. Not a lot of documentation about this that I've been able to find, but at least I learned something, so it was a good day.