What about the extra provision (soldering tabs) that exists on the 7020 motherboard for adding one more tuner module ? That circuitry exists right next to the tuner module that comes with the 7020 by default. Would it be possible to drill two holes for the antenna inputs and add another tuner module to the 7020 (terrestrial for example

? There certainly seems to be space provided.
Maybe that mod is what one gets when buying the 7025 ?