Even if he only 'partially formatted' or when he 'unformat' the MC, the files stay pretty much unrecoverable.
Why? Because they are fragmented!
I see, I thought maybe he could partially restore some with a save tool, or chop out the still valid data with a hexeditior and make it into working save again, he'd only need the game save data not the icon files.