I just found this page with many manuals for many different systems. In case you don't know the site, take a look, there's plenty of stuff.