Ich hab mal bei Supermicro deswegen angefragt.
Gute Nachricht: Der Deckel hat eine Teilenummer, MCP-230-82501-0N, und ist weitestgehend über die Produktpalette gleich, also 213, 216, 825, 826, 835, 836, 936, 846.
Schlechte Nachricht: Kein reguläres Teil, hat daher kein Schwanz auf Lager, und allein wegen der Sonderbestellung wird das Ding sündhaft teuer sein. Ein einziger Ami auf eBay hat wohl 30 Stück und davon auch schon eins verkauft, zum Sonderpreis von 65 USD. Internationaler Versand von ner überdimensionalen Pizzaschachtel ist eh indiskutabel teuer.
Vielleicht also auch das zweite 825 einstampen. Der dritte Kandidat ist schon zerlegt, der sah aber auch deutlich schlimmer aus.