DISH Network in the bag for Big O?

Is it true that some DISH receivers are defaulting to the Obama Channel regardless of which station it was on when turned off?

Seems like a bit much to Murdoc, but then so does threatening to go after the FCC license of stations running NRA-sponsored political advertisements.