Small problem. My brother was trying to delete incomplete files and he thinks he accidently deleted about 400 regular full songs. He told me he went to the library and under saved files, he highlighted a bunch of the songs, and pressed delete, not realizing those were not the incomplete songs. Are these songs still somehwere on the computer or did he delete these off the computer forever?