Just configure the tv-decoder to use other DNS servers. This example isolates a device to use custom DNS servers:
Hope this helps.