Vielen Dank für den Tipp!
Fündig geworden bin ich tatsächlich in einer im Netz noch verfügbaren ausführlichen Preisliste.
Darin war eine Farbe "brick red" als mögliche Sonderausstattung ohne Aufpreis verzeichnet, und die Farbe ist es auch.
Es gibt sie also leider doch, die Variante zum orange, welches ich viel lieber hätte.
Naja, vielleicht bietet sich ja noch mal ein Wechsel an.
Oder falls wer tauschen möchte: immer her mit den Angeboten!
Also wie gesagt: vielen Dank!!!