Ich habe einen alten Texas Star DX400 gekauft, bei dem die Abdeckung für den Druckknopf fehlte.
https://www.youtube.com/watch?v=dpj3rR1Ge_k