That is my understanding too.
FWIW the Austin HD Local channels are not listed as even being up-linked on 61.5 anymore due to the 'duplicate channel number bug' in TSReader. But my new wing dish for 61.5 picks them up just fine
Talon Dancer
Your understanding is correct. The Austin HDs were not in the report last week, but info in the thread last week listed them as uplinked and available.
http://www.satelliteguys.us/1288823-post166.html