I've been considering the Onkyo TX-SR800 myself, I also found the JVC RX-DP9VBK for $529.00, or the Kenwood VR-6070, did you have a chance to compare the Onkyo against these?