Beides lecker Teilchen!!!!
Preise kenne ich mittlerweile weil ich beide Objektive suche
Wenn das 35mm ein RS ist, hätte ich übrigens großes Interesse daran!!!
Wenn dein Kollege verkaufen möchte, schick mir einfach eine PN mit einem Preis. Alles weitere lässt sich dann ja regeln

.
Das 35mm f/2 als RS dürfte zwischen 420,00 und 470,00 Euro bringen. Eventuell sogar mehr wenn jemand es unbedingt haben will.
Wenn es die alte Version ist, gibt es immerhin noch zwischen 300,00 - 400,00 Euro dafür.
Für das 100mm f/2 sollte es auch (realistisch) zwischen 400,00 und 470,00 Euro geben.
Greets,
Edwin.