So, die Entscheidung ist gefallen.
Zunächst vielen Dank, Erich, für Deinen Hinweis auf den Reparatursatz; das war genau das, was wir suchten. Aber wir folgen Deiner Empfehlung, das Wasser/Heizventil wird jetzt getauscht. Der Rep.satz hätte inkl. Shipping und Charges auch fast € 85 gekostet und wäre erst 1./2. Februarwoche hier bei uns. Grüße nach Japan (Deine Beiträge lese ich immer gerne, war selbst mal 2 Jahre in HongKong).
Dank aber auch an alle anderen für Ihre Hilfe.
Da es jetzt auch zu einer Warnmeldung "Kühlwassertemperatur" gekommen ist, wird die (große) Kühlmittelpumpe (1151752527799) vorn mal untersucht, ob sie schwächelt oder noch ein Flügelrad aus Kunststoff hat, dann wird sie in jedem Fall getauscht.
Ja, der 728i hat auch eine sog.
Zusatzwasserpumpe (64118375237) am Heizventil, die scheint aber bei mir nicht betroffen zu sein.
RealOEM.com BMW E38 728i Water valve/Water hose
Gruß
Thomas