The easiest way to do this would be to use a regular satellite set top box, and feed the output into a regular video capture card and then encode with whatever their favorite Flash/AVC encoder is.
Here are a couple of forum post talking about this, for more information:
Regards,
Salvadore