Are there any satellite receivers on the market currently that output video digitally to your display device?