I'm finally getting around to setting this up, and I was wondering whether I should be using the port 3 (vga), or port 5 (bnc) input. I'm running a blu-ray players hdmi to a HD Fury to the projector. I've tested them both and can't really tell the difference yet, but I figured if one was better than the other, I'd like to be ahead of the curve as I learn to get this thing dialed in.

http://www.curtpalme.com/Barco_Port3_Input.shtm