Tvheadend

I had hoped to make my first post something useful for future users but, after a week of work on this Raspberry PI, TVHeadend and XBMC via SiliconDust HDHomeRun (dual north American) tv tuner, I am in worse understanding of what I am to do/am doing.

Currently, I'm under the impression that the tvh webgui is not mapping the mux to (sorry) wherever it maps them to. I can use VLC to play (and hear) a tv station.

Following innumerable posts, I finally found that tvh has it's own RaspBMC repo. But when I added it to the /etc/apt/sources.list, and ran apt-get update, this is the response at the terminal:

pi@raspbmc:~$ sudo nano /etc/sources.list
pi@raspbmc:~$ sudo nano /etc/apt/sources.list
pi@raspbmc:~$ sudo apt-get update
Hit http://archive.raspbian.org wheezy Release.gpg
Hit http://archive.raspbian.org wheezy Release
Get:1 http://apt.tvheadend.org wheezy Release.gpg [490 B]
Get:2 http://apt.tvheadend.org wheezy Release [3911 B]
Ign http://apt.tvheadend.org wheezy Release
Hit http://archive.raspbian.org wheezy/main armhf Packages
Get:3 http://apt.tvheadend.org wheezy/main armhf Packages [871 B]
Hit http://archive.raspbian.org wheezy/contrib armhf Packages
Hit http://archive.raspbian.org wheezy/non-free armhf Packages
Ign http://apt.tvheadend.org wheezy/main Translation-en
Ign http://archive.raspbian.org wheezy/contrib Translation-en
Ign http://archive.raspbian.org wheezy/main Translation-en
Ign http://archive.raspbian.org wheezy/non-free Translation-en
Fetched 5272 B in 4s (1097 B/s)
Reading package lists... Done
W: GPG error: http://apt.tvheadend.org wheezy Release: The following signatures couldn't be verified because the public key is not available: NO_PUBKEY B42317285E12C7CF

So, starting back at square-one, what do I do to fix this, please?

Minor info:

TVHeadend (tvh)
HTS Tvheadend 3.4-dirty

RaspBMC / System / System Information / Summary Information

Linux 3.6.11 #2 Prempt Saturday June 15 21:48:xx 2013 ARMV6L

Nightly: xbmc-rbp-omxbackport14