I now have 3 HDMI sources (PS3, S3 Tivo and Mac Mini). Does anyone know of receivers w/ 3 HDMI inputs? Most of the ones I've found are only 2.

I know I can use an HDMI switcher but I'm trying to find an excuse to upgrade...