Are you sure you actually need a mixer? Generic ones are pretty cheap at under $100 and will do what you want, but they're not exactly pretty as they are professional audio devices. There are some pretty ones floating around, but expect to pay $arm+$leg for them. Alternatively, you could of course just do a plain receiver which switches audio instead of mixing it, but as a bonus it will also switch video for you.