A friend has bought one of these needing repair. He has a competent repairer (it is way beyond my ken!) but the repairer needs a repair manual and/or schematic. Can anyone help, please?