Hi,Carel!
Wie so oft bei derart konkreten Wünschen: am besten bei MULIPLEX direkt anrufen. Der Service sagt dann auch gleich, ob das Ersatzteil verfügbar ist und was das Ding kostet. Diese Infos wird von den MULTIPLEX-Leuten hier im Forum nicht so beantwortet werden - das ist Erfahrungssache hier im Forum.
Persönlich gehe ich davon aus, dass das Gehäuseteil grundsätzlich lieferbar sein wird. Habe dies selbst bei anderen Sendern auch schon durchgespielt.
MfG
profimc