Die erlaubten Radgrößen stehen auch nicht im Fahrzeugschein, sondern im COC (=Certificate of Conformity). Dort müssten unter dem Punkt 50 alle erlaubten Größen stehen.
Soweit ich weiß dürften die 7,5Jx17 ET30 allerdings passen.
Nach meinem Stand muss entweder die genaue Größe im COC stehen (inkl. ET), oder du brauchst eine ABE oder eben eine Einzelabnahme, was aber häufig schwierig ist wegen Traglasten beim BEV usw.
Da das beim i4 alles etwas schwierig ist, auch wegen des Gewichts und der fehlenden ABEs, geben viele auf und greifen zu Originalwinterrädern wie den 851ern in 17 Zoll.