Well, there's definitely 13GB of data on that drive. Somwhere. Do the "ls -R /" thing, and hit Ctrl-C after it spews out a few screenfuls of information. You should see a bunch of filenames that are just numbers. Post one, and we'll tell you what to do.