I am aware that there is a setting that allows you to have the HD local channel set a a default. Example, if I tune FOX on the SD chanel 10 it will automatically tune the HD chanel in the 6000's. My question is does the samething happen to nonlocal hd channels like HBO, Showtime, etc?