After yakking with my colleagues and checking on the internet, I found some interesting info. There is a lot of MPEG4 IP available, some even as direct loadable VHDL for Xilinx and others.
BTW, the tuner card doesn't have to change, assuming the transport multiplexing hasn't changed (and I...