What is the dish network remote control codes for a sony av str-k7000?