PatPitter

I would hold off on buying that particular manual. See if anyone else here knows more about the machine.
Also, ask your repair person if they have any contacts that may be able to find a manual.