Sodala, es geschehen doch kleine Wunder: soeben habe ich den Ersatzteil bekommen!
http://www.tomtech.de/ hat sich erstaunlicherweise ohne grossen Aufhebens erbötig gefühlt mir das Teil bis an die (private) Haustüre zu liefern. Feiner Zug, da auch der Preis inklusive Lieferservice von UPS grade mal €18,-- beträgt.
lg roberto