I'm considering a switch from a HTPC based HD PVR to a TivoHD. I currently use 2 antennas because our local PBS affiliate put their antenna at a different location than all the other local broadcasters. Where I live, PBS is about 170 degrees from the commercial farm (eg, almost but not quite the opposite direction). Right now, I have one dedicated PBS tuner with an antenna pointed at PBS, and 2 other tuners sharing an antenna pointed at the commercial tower farm. So.. my question: From the photos of the back of the TivoHD, it looks like there are 2 coax inputs. Does one have to be for cable, and the other for OTA? Would I be able to dedicate one tuner to my PBS antenna, and one to my commercial antenna? Thanks, D.