Not legal advice, but a really good PC technician could attempt to recover those files, even from a formatted disk. (I've done it more than once myself.) If there have been no hardware changes, the OS keys should still work. It might require a call to MS to get them activated, but more than likely not.