Seems the 4250 is basicly a cablebox / cable modem.

I'm guessing my cable company (comcast) will supply an hd cable box with digital audio output, so it should work for me too.

Maybe this no audio thing is not as widespread as I feared.