In the real world, it is a pain in the ass to carry yet another item you don't need. Just about any manual for a Tek scope is available in .pdf format. Burn them to a disk or a USB stick and carry them that way.
I have almost a dozen Tek scopes, and only have about a half dozen paper manuals. I can print out the pages I need from a PDF, and if it's searchable I can export the parts list into a text file to make notes on without worrying about messing up a paper manual.