With that budget, I believe he already is looking at Accessories4Less at the refurbs.
Craigslist has a ton of stuff in my area, but almost nothing with HDMI, especially the newest version, and under $200.
I'm no huge fan of Onkyo, but the 591 has 4 HDMI inputs, handles 3D, and handles HD audio formats. Certainly for the money, it seems like a good way to go. Just make sure to give any Onkyo product a good deal of airflow.