Danke euch für die Antworten. Dass die Flicken nichts für die Ewigkeit sind, habe ich schon häufiger gelesen. Andererseits kommt meine Jacke auch nicht wöchentlich in die Wäsche, sollte also funktionieren.
Ich denke, ich werde das Loch damit erst mal stopfen und mich noch mal an Globetrotter oder ein anderes Fachgeschäft wenden, um zu hören, was die sagen.