I'm going to be setting up a friend this week with Bell and he wants 2 HD receivers not PVR's. Now I noticed one of my local Brick stores has about 20 - 30 new in box 6141's where other stores only have 6131's. Is the only difference between the two the fact that the 6141 comes with HDMI? My friend will most likely pick up 2 6141's but I just wanted to check.