They have:-
100mm F/2.8
85/1.8
16-35/4.0
24-240/3.5-6.3
24-70/2.8
24-70/4.0
28-70/3.5-5.6
28/2.0
28-135/4.0
35/1.4
35/2.8
50/1.4
50/1.8
50/2.8 macro
55/1.8
70-200/4.0
70-200/2.8
70-300/4.5-5.6
85/1.4
90/2.8 macro
1.4 teleconverter
2.0 teleconverter
100-400 is not listed as list
Of the whole list, 2 of them are teleconverters and don't really count, if someone is dropping £4,500 on a body, they would want top end glass then that means the likes of 28-70/3.5-5.6 is irrelevant and not going to care. I have highlighted the ones in bold where it is actually any useful to a professional capacity.
From that list, it is missing the basics of a 24mm/1.4 prime, it is missing a fast prime like a 16-35/2.8, it is missing a 135mm/2.0 lens, it is missing all the big primes. I have the following, and of the 10 lenses that I have, I can replace just 4 of them, 5 if I am willing to go to 85/1.4.
It is a hard pill to swallow to lose half my lenses for 1 body.
20/1.4
24/1.4
35/1.4
45/2.8 TSE
50/1.4
85/1.2
100/2.8 macro IS
135/2.0
16-35/2.8
24-70/2.8