I haven't ever considered keeping the manual before this post. I was actually pretty proud of the fact that the machines I sold had actual manuals with them.
I even gave a guy a "How to repair pinball" book I had gotten as an extra in another deal, and a bottle of Novus 2, just because it was his first machine.
At least make them a copy of it or something, damn.