Der zeitliche Verlauf wäre sicherlich von Interesse.
Aber wenn Griller den Fehler bereits auf einen "Wackelkontakt" eingrenzen kann, würde ich pragmatisch vorgehen. Störung melden und auf die wacklige Verbindung hinweisen. Wenn dann der Deckel getauscht ist, wieder beobachten.