Well, I don't understand what happened. I rescanned the tuners with the HDHomerun app not long ago, and the app was listing the right network names. But I rescanned it again and now 3.1 and 31.3 seem OK. Guess I won't argue with success. Thanks
Dave