Best AVR for Linux with HDMI

Hi. This is my first post on AVS (actually, my first post on any online forum). I'm happy to be here.

I'm currently running XBMC on Fedora 11 for my HTPC. My video card is an nVidia 8400GS running nVidia's proprietary (downloaded from nVidia.com) driver version 190.53, and I'm outputting the video successfully from that card at 1900 x 1080 via a DVI to HDMI cable to a Philips 42 inch LCD (model number 42PFL7422D/37). I'm outputting sound to my TV with a simple RCA cable.

So far, everything works great - I have not experienced any HDCP issues between my TV (which, according to the TV's manual, DOES support HDCP) and my Linux PC/Graphics card (which, like all Linux distros, does NOT support HDCP).

However, I would like to add an A/V receiver to my setup, and I'm wondering if anyone out there has has any luck sending video at 1900x1080 from a Linux PC to a receiver over HDMI.

I'm asking because -- although I can get video at1900x1080 from my non-HDCP PC to my HDCP-TV -- the manuals for the receivers I've been considering (e.g. Pioneer VSX-819, VSX-919, and Denon 1610, to name a few) appear to suggest that video from non-HDCP sources will not be output properly. Thus, I'm hoping someone has had luck running HDMI video from Linux to an AVR.

Thanks.

OK, many thanks. If I understand it, HDMI to the receiver shouldn't be a problem, but adding another component like a Blu-ray player into the mix (that new Oppo looks very tempting) might cause issues, in which case I can temporarily unplug the PC.

Now to decide on a receiver...

To follow up: I ended up getting the Denon AVR-1610. I plugged the HDMI cable and RCA cable from the PC into the receiver, and output the video via HDMI. The image is output at the correct 1900 x 1080 resolution, however, the video will go blank for about a second every sixty seconds or so and the TV will display a "No Video Signal" message. No big deal....I just send the PC's HDMI video cable directly into the TV and send the audio to the receiver.