Actually, an external mixer is no real help in this case ?! If you send it a mixed signal of skype+game sound, how would you split it with the mixer? So anyway he has to use a software solution as described in my guide :)
He could after splitting and provided he has enough soundcardoutputs, send the different outputs to a mixer, but on a simple one PC setup I think that would be overkill.