I'm kind of lost here. If there had been a new digital station in the area (West Virginia or possibly neighboring Virginia) using RF 4, I would think that they would use PSIP channel 4 as well, and WOAY-50 would have been out of luck if they'd wanted to reclaim PSIP channel 4. What part am I missing here?
And how is it handled if a new digital station goes on the air, and has an RF channel number that is the same as a nearby existing station's legacy (from the analog days) PSIP channel? Would they be assigned an arbitary PSIP channel number, or be allowed to select one of their own choosing, as long as it didn't conflict with any other stations nearby? (Something similar to this actually happened in the case of WJLP-3 NJ/NYC, the conflict being with KYW and WFSB. The FCC assigned PSIP channel 33, presumably because it was the closest thing.)