For a non-gamer the 40G PS3 is plenty...and you get Blu-Ray with it. I would try for HDMI when going for the 5.1.
Also, even without HDMI you can get really good Hi-Def signals from the PS3 to the Denon as most DVDs are not yet protected, albeit the "handshake" can be annoying. Even then, without HDMI you can the that cute device called 'HDFURY'---google it.
Also, even without HDMI you can get really good Hi-Def signals from the PS3 to the Denon as most DVDs are not yet protected, albeit the "handshake" can be annoying. Even then, without HDMI you can the that cute device called 'HDFURY'---google it.