[Premium-Rx] New to the list - Teletron TE712?

[Marco IK1ODO -2]

Hello,

I'm new to this list. I collect and restore receivers since many 
years - started in 1969 with a Geloso G4-216 :-)

Now I have a nice Teletron TE-712S. I already repaired it, and it's 
working well, but I would be happy to find an operating and/or 
service manual for it.
Checked the usual sources, but there is very little around. Any help?

Vy 73 - Marco IK1ODO / AI4YF