Some people in DC are still annoyed by the renaming, partly because of the air controller thing, and partly because Congress changed the name against the wishes of the people of DC and then forced DC to pay for changing the signs out of the city's budget.