Yes, the 507 is the sweetspot for you then, plenty of HDMI inputs to use. And unlike last years models (506, 606) it doest freakout when you plug a PS3 in via HDMI. As a side note, heat issues are a lot better as well.

Welcome to the forum, the M3s should impress.

M60x2, VP150, M22x2
Sennheiser HD-595
Onkyo TX-SR507, PS3 (40gb)