I've done a lot of googling, but have not found a solution that has worked (such as the one where you go to sounds, playback, then enable NVIDIA HDMI Output, but I can't do that simply because that option isn't there, even with "show disabled/disconnected devices" on).
I presume it has something...