I was at a place that had DIRECTV. They had MANY televisions. Like 8 on the wall. When a game was over to change channels on one of the TV’s. The guy walks over with a remote control and pulls this thin string like thing, aims the DIRECTV Remote Control at it, and he is zipping through the program guide. No receiver anywhere in sight. Does anyone know what that thing is?????