Wow. Thanks much for the rapid reply!
Unfortunately this .rar archive isn't playing nice, and won't open after multiple attempts both at downloading, and with a few different decompression programs (7zip, etc.). Do you have any other suggestions or options?