Die Rahmengröße ist nicht sooo entscheidend. (Das spielt eher für die Schrittfreiheit, Oberschenkelfreiheit (bei dicken Oberschenkeln und Oversized Rohren) und für den Komfort bei starren Stützen (Auszugslänge Stütze und damit Flexeigenschaften) eine Rolle.)

Entscheidend sind Oberrohrlänge und Steuerrohrlänge (plus Winkel vor allem des Sitzrohrs).

Bevor er einen größeren Rahmen nimmt, würde ich erstmal gucken wollen, wo er mit einem 90 mm/100 mm 6 Grad Vorbau landet (Er hat nun einen 17 Grad (oder gar mehr?) Vorbau!!!). Dann kann man noch immer entscheiden, ob der Rahmen ihm zu kurz ist.