I have a old Domestic sewing machine. I don't know from what year. I think the 40's or 50's. I got it at a yardsale a few years ago for a whappin $20 in a wooden desk and all.
Anyways, if you cannot find the info you need I have the manual for the buttonhole worker for this which I'm sure its about the same. I can make copies and send them to you.