Have a look on the TV where it works, is it connected to the terrestrial tuner or to the satellite tuner.
My guess is that they are using a HDMI modulator to distribute the channels. If so, in the TV check on settings and find the frequency they are distributing it at, and then scan that frequency with your formuler box.