They are not cheap, but they are not too expensive
either, and often
they're the only source for the manuals.
Their CDROM compilations are 25UKP or so each.
A single manual runs to 10-15UKP (typically).
So if you make reasonable use of their
service, it may well pay off to find
some way of reading PDFs :-)
Antonio