If he works with a team, he already has git as a backup. In the event of a drive failure, the others won't have the changes he didn't push but Dropbox probably does.