Only these.
I don't know of them being used outside of a studio setting with a tripod and probably a high end camera with IBIS.
These are my calculations
EOS R10 + RF-S 18-150mm R23,889
RF 15-35mm f2.8L R38,089
RF 24-70mm f2.8L R36,189
RF 70-200mm f2.8 R43,789
R141,956
or
EOS R10 + RF-S 18-150mm currently R23,889 at Fotodiscountworld
RF 15-35mm f2.8L R38,089
RF 24-105mm f/2.8 R71,389
R133,367
EOS R7 + RF 18-150mm R31,489
Mount Adapter EF-EOS R R1,995 (Orms)
EF 16-35mm f/2.8L III USM R18,995 (Orms)
EF 24-70mm f/2.8L USM R10,999 (Lucky Tech)
EF 70-200mm f/2.8L IS II USM R18,995 (Cameraworld)
R82,473
Doesn't look too cheap for used gear and then possibly ending with a lucky packet. If it's R100k you can probably make sure it's decent. There's some used RF lenses floating around as well and probably newer than the EF ones.