I forget exactly how to get there... but on the menu where you can add/scan for OTA channels there is an option that takes you to a screen that allows you to define your satellite locals mapdown. I believe it defaults to HD priority, but there is a setting for SD only, and a setting to disable. This is probably also covered in the manual as well, but I'm sure someone will wander along shortly that can tell you the exact way to get to the option that I'm talking about.
Mapped down satellite channel locals will be as -00 channels, (like 5-00 for example) when mapped down.
Mapped down satellite channel locals will be as -00 channels, (like 5-00 for example) when mapped down.