I wonder if you contacted Juki if they would have any information. A lot of the main manufacturers used to have vintage manuals available, but they have disappeared. Most of the manuals now found for Juki machines are either computerized or industrial machines.
It looks like a fairly easy to figure out class 15 machine.