Solved! How can I stream from my laptop through my Dish receiver using HDMI?