Leon by this time most manuals were generic like that without a name on them, there were so many badged identical machines that a separate printing for each name was out of the question. So many machines didn't even get a badge until they reached their destination country.
Cari