All either of you can do is find a used Factory Radio head or buy an aftermarket head.
There is no service information available for the factory heads and you'd be nuts to pay $90-110 an hour (going rate) for service anyway.