I have TDS TV service with a Cisco ISB7150 cable box. Recently, a friend gave me an ISB7105 wireless TV receiver with an AT&T U-verse logo on it. Are the ISB7105 receivers the same regardless of provider branding, i.e. is the firmware the same? Will the ISB7105 receiver with AT&T branding work on TDS and vice versa? Thank you for your helpful replies.