not sure he deleted those files way before his laptop was dead. or his laptop just had problem, and he deleted the files before he sent it in. but according to news, those files were deleted before sent to the shop.
If your pink one of a kind laptop does not turn on, how can you delete the file??? I was under the impression that he has a Macbook Pro, the HDD is not accessible easily.