I didn't think sport climbs topped out?
Actually, even leading it on an 85 meter is a long f%$king rope. I have seen many 70 meter ropes. Most spools of rope you can buy are more towards the gym side of things and are almost static, so he would not want to climb on one of these. Maybe since he is such a big stud, the rope company made a few special ropes for him, so they could get some advertisement value out of him.
no way... there are plenty of spools of dynamic if you know where to look... plus i know some catalogues that sell 100 meter ropes... but there is probably an intermediate rap anchor... makes sense eh? i dontthink you could redpoint 5.15c with 20 lbs of rope trailing....