You can get the manuals on CD from Nagra themselves. Email them - they have good customer support. If you've got a Nagra 4.2 or IV-S, it's worth the price they ask for the CD. The PDF supplied prints out well too, so you can make your own handy printed copy.
With best regards,