Yup. See if its there, the butt hurt flows.
But it being removed is like having a players number retired. No one will see that number played on the field again, but its the absence of the number that makes it so memorable.
People will walk by for many years and think "That's where Trumps star used to be." The reminder of the pain will be bigly-er than if the star was still there.