Markus,
Thank you! I hadn't thought to try the nightly build, it works as expected. I just tried out the SimpleProgram spec from the video course and everything runs.
I really appreciate the quick response. Yesterday I stood up a Linux VirtualBox guest on my Mac just to run the TLA+ Toolbox, this will be much more convenient :)
Regards,
Daniel