Ich beantworte meine Frage selbst, da ich das Netzteil bestellt und ausprobiert habe: Ja, passt. Tipp für alle, die nach einem spezifischen Netzteil suchen: Nebst den technischen Angaben unbedingt die Grösse des Steckers prüfen, hier: Steckerdurchmesser aussen 4.0 mm / innen 1.2 mm