OK, also wenn er nicht benötigt wird würde ich ihn einfach rausnehmen.
Vielleicht bekommt man ja sogar einen Ersatz für, den könntest dann austauschen.