^ This. If I were going to guess (but I'm not going to look up your receiver's manual for you), you should be able to run the audio from the laptop into the mixer, then run the mixer's output to the ...