After using the nano editor to eliminate the comment # on #hdmi_drive=2 in my config.txt file saving and then rebooting the sound finally plays thought the HDMI monitor speakers. I had to manually change directories to the Boot directory before I could modify the config.txt file. Using the Sonic Pi ...