Hi: Can anyone recommend a good ATSC USB tuner that has good Linux support? I am hoping to get one to decode HD signals. thanks --Vincent