Yes, the HVR4000 works, but I had to compile the drivers myself, as they are not included in the 710 kernel. I saw some talk about them being in the 2.6.28 kernel, but I haven't checked it out lately. Your best bet would be to do some research on the linuxtv.org website.
Also note that I don't use this card to view dvb-t daily, so I can't say anything about stability. I've just tried it a few times. It is very stable for dvb-s though.
You also need a recent version of xine/mplayer to be able to view the stream, as it's using the video/audio codec you mentioned.
And none of this will be plug-and-play in 710, you have been warned