I bought some games from Ken Priest from the Pinball Warehouse in QLD. (Ken is old school and a nice bloke) His prices used to be much lower i might add, but thats a different story for later.
In each of the machines I bought, Viper Night Drivin,Teenage Mutant Ninja Turtles, 2 x Data East Star Trek 25ths, and something else I cant remember, they all came with Manuals incl, BUT on the day of pick up, the manuals would go missing. ? and would be replaced with a disc copy of a manual. (I like the orig manual pls) a tech he has (and NOT Logan his senior tech who is the nicest bloke u could ever meet) a tech he has who is a contractor so to speak, would nick all the manuals and keep them.

So oneday when i went to this guys house, for a pinball related part purchase, I saw all the manuals from all the machines, and I said "ohh thankyou for minding them for me, I will have them now", and i just picked them up and kept them since my name was on them.  
A machine shld come with the original factory manual if available.

If u take a machine to someone for servicing, and they rip stuff off from your machine, thats a definate punch in the face hard when no one is watching offence.