It is a Phillips. I haven't gotten around to swapping back the other TV/cable box to confirm the problem is between that specific TV and that specific TiVo box, but other stuff plugged in via HDMI (like the switch) don't have the same problem when first changing to that input.