Bene, risulta che gli slot nel mio TER ES3 non sono stati danneggiati ma un DIMM RAM è andato male. Bene, avevo una chiavetta RAM da 4 GB di riserva in giro e l'ho installata nel sistema. Ora si sta registrando con 8 GB invece di 4 GB. Sìì!
Chiavetta RAM verde originale che è andata male
Modifica: ho confermato che questo stick è davvero morto poiché l'ho installato sul mio personal computer e non è riuscito ad avviarsi.
Nuova chiavetta RAM blu che ho installato nel sistema...
L'unità crittografata Bitlocker originale funziona ancora con le chiavette RAM sostitutive!