Ah, OK si è riavviato.

Riguardo allo zip, mi riferivo ai file .dmp che sono nella cartella windows\minidump ma aspetterei, come hai detto tu, i prossimi giorni nel caso si ripresentasse il problema.