Aber meiner Erfahrung nach sind die Kühler (wenn noch der 1.) in dem Alter eh ziemlich hinüber. Kann also kein Fehler sein, den zu tauschen.
Preis vom Nachbau (alte Version, da dicker.. passt aber 1a, nur der Deckel ist halt der alte (alte Version) , aber den gibts dazu

ca 200€. (180 + Steuer + Versand oder so ähnlich .. müsste nachgucken, was ich genau bezahlt habe).