Bis auf die 5204G sind alle anderen Modelle bei RB schon mehrere Wochen / Monate (teilweise im Wechsel) auf der Website, so dass ich davon ausgehen würde, dass sie tatsächlich verfügbar sind.
Auch bei Gadebusch in Köln gab es einige richtige Dickschiffe (zB 5520RG) allerdings haben die die Website geändert, so dass man (zumindest im Moment) nicht mehr erkennen kann, was verfügbar ist.