Actually mhku I have managed to do it with my dm800 (but limited to only few channels depending the provider service).
I don't know if it can be done with the other models, needs testing and feedback.
The steps are very simple:
select the channel you want to stream, pass it through vlc.
Now...