Müsste gehen. Technisch ist der RS identisch zum 85x, daran kannst du dich orientieren.
Ich hatte letztes Jahr das gleiche Problem, weil der 85x da noch ganz neu war und in keinen Dokumenten vorkam. Hab dann auf gut Glück welche genommen, die für den 80x zugelassen waren. Mittlerweile gibt es auch aktualisierte Dokumente dafür. Bzw. haben 80x und 85x die gleichen EWG-Nummern und das ist das, worauf sich die ABEs immer beziehen.