I would agree that a paper manual is generally nicer to work with, but an electronic version has the advantage of easy searchability. So, why not print off the PDF manual? Then you would have the best of both worlds. Further, when the paper version gets all dirty and greasy from handling in the shop, you can simply reprint it.