[MatrixDweller]

There's the Marantz SR8002 also. It's the same as the 4308ci though as it outputs the same signal on both HDMI outs and is not multi-zone with the HDMI out. It is a bit less expensive than the 4308.