Well, I've been doing okay printing manuals from the CD onto 3 hole punched paper.
I haven't found a printing shop that can print double sided in the smaller format so I can do my own spiral binding. Affordably, that is- kinko's will do it for 15 cents per side, but that's 30 USD for a 200 page manual sans the binding.
The 3 ring binder method works okay, since I use a zippered binder with a "pda pocket" for my 42s.