Does anyone know where I can find a service manual for this receiver? I came into having one which is missing its power supply and would like to fit it with a new one but need details. Peter