It was pretty much gone anyway, since they only played it when the Redskins actually scored.
Went to school in DC in the early 70’s and loved the ‘red head’ Sonny Jurgenson and the games against Dallas.