I have Denon 4200 receiver and a Samsung 8500 4k tv. After the update last week, all of the non 4k channels are heavily tinted pink. Directv swapped a Genie 4k box, and same issue. Taking a 1080 box, everything is fine.
Directv has no solution. Well other than rewiring the whole system...