Hi,
In the end I bought 2 manuals on CD from eBay. The cheaper one (£1.75) was poor and very difficult to navigate; the other one, eLearn, (£3.00) was better in most respects. It's the best I found.
These CD types are Okish, not quite the same as a paper manual ... you can't flick through them so easily but they do stay free of oily fingerprints!
Cheers
Ron