I am a noob and I'm just curious to know if an MPEG (or MPEG2) file is actually streaming from the TV station to your set top box when watching HDTV.