PS I never, ever use graphical tools to copy/move large numbers of files. They just don't seem to be reliable for this and even Linux desktop graphical tools fall over in my experience. OTOH terminal type tools such as rsync always work.