Deutz-Allis finish mower

[HappyOne]

I have a friend with a Deutz-Allis RGM 72 that he is willing to sell fairly cheap. There is no manual or parts list, and I was wondering where to go to find them. Also has anyone had any experience with this brand?

Thank you!