WRC-TV (virtual channel 4, actual channel 48) announced that they are going off the air tonight at 1:30 for maintenance, and when they come back on the air, folks using over-the-air TVs may need to re-scan. This would imply that WRC is changing RF channels, but I don't see any indication of that in the FCC database. Anybody know what gives?