The pedal box on my friends 87 535is broke just in front of the pivot for the clutch pedal.

ghead I was wondering if this was a common occurance and where a replacement part might be obtained. I am a bit shy about obtaining a used part if this is a common issue. I only want to replace this part once given the amount of time that I am going to have to spend under the dash. Thanks for the info on parts and any advice to make the job easier is appreciated.
Ben