hifi engine

Tandberg TCP4035

Anyone having a service manual for this one?