When I typed in zipcode 22025 today, all of the above channels showed as YELLOW, which is the lowest antenna rating.
The following were obtained from http://antennaweb.org:
YELLOW UHF zipcode 22025
WDCA 20 UPN 37° 27.8mi CH20
WJLA-DT 7.1 ABC 41° 27.7mi CH39
WUSA-DT 9.1 CBS 41° 27.7...