the answer is 0. actually i'm pretty sure the answer would still be 0 if you were to ask what sub $2500 receiver has HDMI switching. hopefully this will begin to change in the near future. i'm hoping that there may be at least a few sub $1000 receivers by next fall.