I'd auto pass-thru the surround sound or encode to 5.1 AC3. That way if you ever have it hooked up to a surround system you'll get surround sound.
If you reAlly want, you can encode 2 audio tracks (5.1 and stereo) but that will make the file a little larger.