Welcome!
Do you have any older standard definition receivers?
Yes, you will want to run setup.
You DO understand that since NOT all your locals are in HD, if you take that dish down now, you'll loose the rest of your locals that are only in SD now. (like PBS, etc.) Those have NOT been moved over yet, & probably won't be for awhile. And as harsh says, any SD only receivers you have will then NOT get ANY locals.
What IS the big hurry to take it down now - you've had it all this time, a little longer shouldn't matter...
I was under the impression that they moved the SD off of 72.5 when they turned on the HD's.
They cannot do this until they replace ALL MPEG2 receivers/dishes in these regions.
Now, I'm sure they WILL be doing a simulcast of these remaining SD locals, so there will be a time where new installs will NOT require the 2nd dish, while the new cust get all locals. During this time, THEN D* will start doing dish & receiver replacements, but right now, until they start the simulcast, they can't.
They won't necessarily need to do dish or receiver replacements. I think the plan is to move the 72.5 SD locals to 119. 119 is getting freed up by the move of the MPEG-2 HD channels to the Ka Sats in MPEG-4.