Unfortunately mIRC has no control over the actual sound device that is used, it uses the Windows MCI API to play sounds and depends on Windows itself to select an appropriate sound device. Basically, all it does is ask Windows to play the mp3, wave, or midi sound, and Windows then chooses the method.