>>The correct file turned to be SQLServer2012SP1-KB2674319-x64-ENU.exe 929.2 MB
>
>
>I see
>
>
>>The tricky thing in that link is to notice, that the list is much longer and you have to scroll to get to it. I did download that exe and iso file and it turned out to be for nothing (the iso file is the full installation file with SP1 included and the exe file needs the box file and it's the same deal as iso).
>
>
>> and iso file and it turned out to be for nothing
>
>Maybe for the next disk crash ? Who knows

Well, the RTM version has the keys embedded (I don't have to type anything).

BTW, using a special connector I am able to see everything (I think) on my original disk. Could the problem be actually something else?

The Dell technician who came didn't run the diagnostics himself, but rather quickly replaced the disk and left.