Blackie, welcome. If you get a receiver without HDMI switching(without repeating all the details, I agree with the points made by Jack and others that it isn't essential)you should consider saving even more on the receiver by going with the Denon 2106 rather than the 3805. This is available for a little over $500 and includes the essential microphone for auto setup, which is about $50 extra with the 3805. This would leave more room in your budget if you want to go with the excellent EP500.

-----------------------------------

Enjoy the music, not the equipment.