I say, go with the one that has the most image. That distortion of the AR is so minute, it hardly matters to me personally. Plus, its really easy for people afterwards to change the AR in their own time. Up to you of course, but I think it looks fine the way it is. The more image, the better!
Would I be silly to assume the Blu Ray has the correct AR? I cant imagine they got that wrong? But, I got a sneaking suspicion they did. :/