Ja, ausschließen kann ich das leider nicht. Der Vorbesitzer hat zumindest angegeben, dass es keinen Schaden gab, aber wenn man alle (offensichtlich) beschädigten Teile austauscht, merkt es ja keiner :/
Was den Austausch angeht werd ich das wohl jetzt erstmal beobachten - der Deckel ist ja doch nicht ganz billig.