Als copies geen probleem zijn, neem ik aan dat een download ook OK is?

De 5000 reeks manuals schijnen zeldzamer te zijn dan die voor de tek 7000.

De plugins heb ik niet teruggevonden, de mainframe wel:

http://www.k7jrl.com/pub/manuals/tek/5103n/

Marc.