...However, this does allow me to sort of use the HAVA. It doesn't work from remote spots, but with KMPlayer (using the osso-media-server backend and with Extra Codecs installed, altho I don't know if that last is necessary), I can point to rtsp://[Hava IP address] and get the video stream. And if I want to change channels, I stop, connect with the HAVA player, and use the remote on it, then disconnect and reconnect with KMPlayer. Very ugly, and I can't seem to do sufficient port forwarding to get it to work outside of the LAN... but it sort of functions.