It doesn't matter how much they've spent, nor what you think. Renaming it requires congressional approval, which they have not gotten.