Noch einen Tipp für Ersatzstöpsel:
Dental-Bürstchen aus dem Drogeriemarkt. Es gibt welche mit
rundem Gummigriff in blau oder rot. Der passt, entsprechend
gekürzt exakt in 4 mm Bohrungen. Davon dürfte ein 20er Päckchen
weniger kosten als 1-2 Originale.
Grüße aus dem Südwesten
Helmut