I don't think you can go wrong with any of the recievers you mentioned, I own the 3805 and am very happy with it. You should not have any promblems with your HDMI as long as your TV supports it. I do my upconvering off my 3910 so I can't tell you how it works with a reciever.

A computer once beat me at chess, but it was no match for me at kick boxing.