Alpha recording system model 4100

Hi guys.
I'm searching for a service manual (or at least a schematic) for an Alpha Recording System, model 4100. This is a high end music mixer, DJ style. A friend has one of these and will bring it over to me for repair. So far I couldn't find anything useful on the internet.
Any idea where to get the service manual for this apparatus?
Thanks in advance