Let the hive mind of Engadget get that for you.
"I've found myself using my PC for a lot of conversations lately, and I'm also considering recording a podcast to share with anyone who will listen. There are tons of USB headset / microphones out there, and I'm hoping someone has some solid recommendations based on experience. I'll consider both headsets and standalone mics, by the way, but I'd like to keep the bill under $100 if possible. Help!"
I guess I'm lucky I don't have an HDMI receiver yet. :¬) I have a 5000 and so far I've only used SPDIF to connect. It does everything I expect so far. However, I'll be pretty pissed if audio bitstreaming isn't fixed by the time I upgrade my receiver. I think I'll do that in May when the audio will supposedly be fixed.
I agree with Dan though, Samsung needs to state their audio plans soon or a lot of people are going to return their 5000's.