Yes, that is the very same machine!
Thank you for the kind offer, but I was fortunate in that the manual for this machine is online, so I downloaded and printed myself a copy already,
The manual is a real bonus in this case, as it explains all the settings for the various stitches.
It's a lot more sophisticated than a regular zigzag machine.