Thanks! Everything turned out great. Yes, OEM clutch kit. Didn't want to experiment too much there.
They finished it this morning so I picked it up after work and we are back in business!
What a refreshment this is compared to the old clutch. The clutch pedal is buttery smooth and gear shifts are clean and crisp.
To recap, this is the parts list that I used. I didn't want to go too wild with while in there parts
and I got what I thought was essential.
OEM LUK clutch kit - 21217515146
This is the original M5 pivot pin made of plastic.
I went with a steel one from 850CSi - 21511223281
Transmission mounts x2 - 22316771221
Guibo/Flex disc - 26112228781
(Even though original parts were still good)
Pressure plate bolts x6 - 07119906045
Clutch fork - 21511223302
Spring clip - 21517570284
Drive shaft center bearing - 26122228917
Exhaust pipe gasket x2 - 18301728734 (not in the picture)
Rear main seal gasket - 11141736521
Differential cover gasket - 33108305033 (wasn't necessary, it had no leaks there)
Differential input shaft seal - 33121213949
Differential drain plug gasket - 07119963355
Drive flange washer - 33121205138
Brake fluid - ATE Typ 200 (they said that the old brake fluid was nasty)
Transmission fluid - Liqui Moly 75W-80 (this too came out nasty)
Differential fluid - Liqui Moly 75W-140 (this wasn't that bad)
I believe I have everything accounted for.
Shop also did a courtesy check of the car. They run a vanos test and the results were great!
They checked for leaks around the engine and everything is dry. Brakes, controls, bushings... all good and tight!
They only advised that there might be little play in the front strut mounts. These are known to develop cracks in the rubber over the time so I will be replacing that in the near future. These are cheap and can be replaced without taking the sturt off the car. I also have Meyle HD sway bar links coming in so that will be refreshed as well.
Now I just have to take it easy over the next 600 km or so and break in the clutch properly. BMW break-in procedure that I found here states that I shouldn't go in high rpm or do high power shifts and that I should shoot for 800-1000 gear shifts. I lost count at 3.
Shop charged me 550€/$650 for the labor which I think is fair given the amount of work.
My bank account sure has suffered but now I'm one happy M5 driver!