You're doing something very similar to me, although I decided to stick my a Krell HTS7.1 due to the superior sound quality (yet no HDMI).
Basically, you have two options the way I see it:
1. Buy a video processor (such as Anchor Bay DVDO VP30, VP50 or Edge ), which allows you to output the sound via coax or optical and keep the video in HDMI.
2. Run the video directly from your source via HDMI and output the sound from the source to the B&K via optical or coax.
The benefit of the first option is not only that all switching is done in one location (ease of use), but also that you can improve your video quality.
Basically, you have two options the way I see it:
1. Buy a video processor (such as Anchor Bay DVDO VP30, VP50 or Edge ), which allows you to output the sound via coax or optical and keep the video in HDMI.
2. Run the video directly from your source via HDMI and output the sound from the source to the B&K via optical or coax.
The benefit of the first option is not only that all switching is done in one location (ease of use), but also that you can improve your video quality.